HelenOS sources

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