KERNEL_TOP
((addr_t)(x) < KERNEL_BASE || (addr_t)(x) > KERNEL_TOP)
((addr_t)(x) >= KERNEL_BASE && (addr_t)(x) <= KERNEL_TOP)
# define IS_KERNEL_ADDRESS(x) ((addr_t)(x) <= KERNEL_TOP)
#elif KERNEL_TOP == __HAIKU_ADDR_MAX
((addr_t)(x) >= KERNEL_BASE && (addr_t)(x) <= KERNEL_TOP)
for (uint64 i = VirtAdrPte(KERNEL_BASE, 2); i <= VirtAdrPte(KERNEL_TOP, 2);
gKernelArgs.arch_args.physMap.start = KERNEL_TOP + 1 - physMemRange.size;
for (uint64 i = VirtAdrPte(KERNEL_BASE, 2); i <= VirtAdrPte(KERNEL_TOP, 2);
gKernelArgs.arch_args.physMap.start = KERNEL_TOP + 1
i <= VirtAdrPte(KERNEL_TOP, 2); i++) {
addr_t kernelEnd = std::min<addr_t>(end, KERNEL_TOP);
if ((KERNEL_TOP - base) >= size) {