LINEAR_MAPPING_BASE_VADDR

ostd::specs::arch::kspace

Function LINEAR_MAPPING_BASE_VADDR 

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

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