meta_to_frame_spec

ostd::mm::frame::meta::mapping

Function meta_to_frame_spec 

Source 
pub open spec fn meta_to_frame_spec(vaddr: Vaddr) -> Paddr
Expand description
recommends
vaddr % size_of::<super::MetaSlot>() == 0,
FRAME_METADATA_RANGE.start <= vaddr < FRAME_METADATA_RANGE.end,
{ ((vaddr - FRAME_METADATA_RANGE.start) / META_SLOT_SIZE as int * PAGE_SIZE) as usize }