ADDRESS_SPACE_HOLE_END 39 kernel/arch/amd64/include/arch/mm/as.h #define ADDRESS_SPACE_HOLE_END UINT64_C(0xffff7fffffffffff) ADDRESS_SPACE_HOLE_END 39 kernel/arch/riscv64/include/arch/mm/as.h #define ADDRESS_SPACE_HOLE_END UINT64_C(0xffff7fffffffffff)HelenOS homepage, sources at GitHub