ADDRESS_SPACE_HOLE_START 38 kernel/arch/amd64/include/arch/mm/as.h #define ADDRESS_SPACE_HOLE_START UINT64_C(0x0000800000000000) ADDRESS_SPACE_HOLE_START 38 kernel/arch/riscv64/include/arch/mm/as.h #define ADDRESS_SPACE_HOLE_START UINT64_C(0x0000800000000000)HelenOS homepage, sources at GitHub