KERNEL_END_VADDR

ostd::specs::arch::kspace

Function KERNEL_END_VADDR 

Source 
pub const exec fn KERNEL_END_VADDR() -> val : Vaddr
Expand description
ensures
val == CONST_KERNEL_END_VADDR,

The executable code of constant KERNEL_END_VADDR when used cross-crate.