LINEAR_MAPPING_VADDR_RANGE

Function LINEAR_MAPPING_VADDR_RANGE 

Source
pub const exec fn LINEAR_MAPPING_VADDR_RANGE() -> val : Range<Vaddr>
Expand description
ensures
val == CONST_LINEAR_MAPPING_VADDR_RANGE,

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