pub const KERNEL_VADDR_RANGE: Range<Vaddr>;
The kernel address space.
There are the high canonical addresses defined in most 48-bit width architectures.