pub const KERNEL_BASE_VADDR: Vaddr = _; // 18_446_603_336_221_196_288usize
Start of the kernel address space. This is the lowest address of the x86-64’s high canonical addresses.