FRAME_METADATA_RANGE_SPEC

ostd::specs::arch::kspace

Function FRAME_METADATA_RANGE_SPEC 

Source 
pub open spec fn FRAME_METADATA_RANGE_SPEC() -> Range<Vaddr>
Expand description
{ CONST_FRAME_METADATA_RANGE }

The specification of the constant FRAME_METADATA_RANGE.