pub const KERNEL_VADDR_RANGE: Range<Vaddr>;
The kernel address space.
They are the high canonical addresses (i.e., the negative part of the address space, with the most significant bits in the addresses set).