zone_mark_unavailable 522 kernel/generic/src/mm/frame.c zone_mark_unavailable(&zones.info[z1], old_z1->count + i); zone_mark_unavailable 790 kernel/generic/src/mm/frame.c zone_mark_unavailable(&zones.info[znum], zone_mark_unavailable 1098 kernel/generic/src/mm/frame.c zone_mark_unavailable(&zones.info[znum],HelenOS homepage, sources at GitHub