FRAME_METADATA_RANGE

ostd::specs::arch::kspace

Function FRAME_METADATA_RANGE 

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

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