HelenOS sources

used_space_find_gteq  343 kernel/generic/include/mm/as.h extern used_space_ival_t *used_space_find_gteq(used_space_t *, uintptr_t);
used_space_find_gteq  169 kernel/generic/src/mm/backend_elf.c 		start = used_space_find_gteq(&area->used_space, start_anon);
HelenOS homepage, sources at GitHub