HelenOS sources

ADDRESS_SPACE_HOLE_END   85 kernel/generic/src/syscall/copy.c 	    ADDRESS_SPACE_HOLE_END - ADDRESS_SPACE_HOLE_START))
ADDRESS_SPACE_HOLE_END  136 kernel/generic/src/syscall/copy.c 	    ADDRESS_SPACE_HOLE_END - ADDRESS_SPACE_HOLE_START))
HelenOS homepage, sources at GitHub