CONST_KERNEL_VADDR_RANGE

ostd::specs::arch

Constant CONST_KERNEL_VADDR_RANGE 

Source 
pub const CONST_KERNEL_VADDR_RANGE: Range<Vaddr>;
Expand description

The constant KERNEL_VADDR_RANGE. The kernel address space. There are the high canonical addresses defined in most 48-bit width architectures.