HelenOS sources

USER_ADDRESS_SPACE_START  454 kernel/generic/src/mm/as.c 		return iswithin(USER_ADDRESS_SPACE_START,
USER_ADDRESS_SPACE_START  455 kernel/generic/src/mm/as.c 		    (USER_ADDRESS_SPACE_END - USER_ADDRESS_SPACE_START) + 1,
HelenOS homepage, sources at GitHub