HelenOS sources

KERNEL_ADDRESS_SPACE_START_ARCH   41 kernel/arch/abs32le/include/arch/mm/as.h #define KERNEL_ADDRESS_SPACE_START_ARCH  UINT32_C(0x80000000)
KERNEL_ADDRESS_SPACE_START_ARCH   44 kernel/arch/amd64/include/arch/mm/as.h #define KERNEL_ADDRESS_SPACE_START_ARCH  UINT64_C(0xffff800000000000)
KERNEL_ADDRESS_SPACE_START_ARCH   42 kernel/arch/arm32/include/arch/mm/as.h #define KERNEL_ADDRESS_SPACE_START_ARCH  UINT32_C(0x80000000)
KERNEL_ADDRESS_SPACE_START_ARCH   42 kernel/arch/arm64/include/arch/mm/as.h #define KERNEL_ADDRESS_SPACE_START_ARCH  UINT64_C(0xffff000000000000)
KERNEL_ADDRESS_SPACE_START_ARCH   41 kernel/arch/ia32/include/arch/mm/as.h #define KERNEL_ADDRESS_SPACE_START_ARCH  UINT32_C(0x80000000)
KERNEL_ADDRESS_SPACE_START_ARCH   41 kernel/arch/ia64/include/arch/mm/as.h #define KERNEL_ADDRESS_SPACE_START_ARCH  UINT64_C(0xe000000000000000)
KERNEL_ADDRESS_SPACE_START_ARCH   41 kernel/arch/mips32/include/arch/mm/as.h #define KERNEL_ADDRESS_SPACE_START_ARCH  UINT32_C(0x80000000)
KERNEL_ADDRESS_SPACE_START_ARCH   43 kernel/arch/ppc32/include/arch/mm/as.h #define KERNEL_ADDRESS_SPACE_START_ARCH  UINT32_C(0x80000000)
KERNEL_ADDRESS_SPACE_START_ARCH   44 kernel/arch/riscv64/include/arch/mm/as.h #define KERNEL_ADDRESS_SPACE_START_ARCH  UINT64_C(0xffff800000000000)
KERNEL_ADDRESS_SPACE_START_ARCH   43 kernel/arch/sparc64/include/arch/mm/sun4u/as.h #define KERNEL_ADDRESS_SPACE_START_ARCH  UINT64_C(0x0000000000000000)
KERNEL_ADDRESS_SPACE_START_ARCH   45 kernel/arch/sparc64/include/arch/mm/sun4v/as.h #define KERNEL_ADDRESS_SPACE_START_ARCH  UINT64_C(0x0000000000000000)