HelenOS sources
USER_ADDRESS_SPACE_END_ARCH 44 kernel/arch/abs32le/include/arch/mm/as.h #define USER_ADDRESS_SPACE_END_ARCH UINT32_C(0x7fffffff)
USER_ADDRESS_SPACE_END_ARCH 47 kernel/arch/amd64/include/arch/mm/as.h #define USER_ADDRESS_SPACE_END_ARCH UINT64_C(0x00007fffffffffff)
USER_ADDRESS_SPACE_END_ARCH 45 kernel/arch/arm32/include/arch/mm/as.h #define USER_ADDRESS_SPACE_END_ARCH UINT32_C(0x7fffffff)
USER_ADDRESS_SPACE_END_ARCH 45 kernel/arch/arm64/include/arch/mm/as.h #define USER_ADDRESS_SPACE_END_ARCH UINT64_C(0x0000ffffffffffff)
USER_ADDRESS_SPACE_END_ARCH 44 kernel/arch/ia32/include/arch/mm/as.h #define USER_ADDRESS_SPACE_END_ARCH UINT32_C(0x7fffffff)
USER_ADDRESS_SPACE_END_ARCH 44 kernel/arch/ia64/include/arch/mm/as.h #define USER_ADDRESS_SPACE_END_ARCH UINT64_C(0xdfffffffffffffff)
USER_ADDRESS_SPACE_END_ARCH 44 kernel/arch/mips32/include/arch/mm/as.h #define USER_ADDRESS_SPACE_END_ARCH UINT32_C(0x7fffffff)
USER_ADDRESS_SPACE_END_ARCH 46 kernel/arch/ppc32/include/arch/mm/as.h #define USER_ADDRESS_SPACE_END_ARCH UINT32_C(0x7fffffff)
USER_ADDRESS_SPACE_END_ARCH 47 kernel/arch/riscv64/include/arch/mm/as.h #define USER_ADDRESS_SPACE_END_ARCH UINT64_C(0x00007fffffffffff)
USER_ADDRESS_SPACE_END_ARCH 46 kernel/arch/sparc64/include/arch/mm/sun4u/as.h #define USER_ADDRESS_SPACE_END_ARCH UINT64_C(0xffffffffffffffff)
USER_ADDRESS_SPACE_END_ARCH 48 kernel/arch/sparc64/include/arch/mm/sun4v/as.h #define USER_ADDRESS_SPACE_END_ARCH UINT64_C(0xffffffffffffffff)
USER_ADDRESS_SPACE_END_ARCH 42 uspace/lib/c/arch/ia32/include/libarch/config.h #define USER_ADDRESS_SPACE_END_ARCH UINT32_C(0x7fffffff)
HelenOS homepage, sources at GitHub