pub const KERNEL_END_VADDR: Vaddr = _; // 18_446_744_073_709_486_080usize
End of the kernel address space (non inclusive).