HelenOS sources

USER_ADDRESS_SPACE_END  455 kernel/generic/src/mm/as.c 		    (USER_ADDRESS_SPACE_END - USER_ADDRESS_SPACE_START) + 1,
USER_ADDRESS_SPACE_END   90 kernel/generic/src/proc/program.c 	uintptr_t bound = USER_ADDRESS_SPACE_END - (STACK_SIZE_USER - 1);