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