HelenOS sources

area_is_conflicting  415 kernel/generic/src/mm/as.c 			if (area_is_conflicting(addr, count, guarded, area)) {
area_is_conflicting  440 kernel/generic/src/mm/as.c 			if (area_is_conflicting(addr, count, guarded, area)) {
HelenOS homepage, sources at GitHub