HelenOS sources

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