frame_to_meta_spec

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

Function frame_to_meta_spec 

Source 
pub open spec fn frame_to_meta_spec(paddr: Paddr) -> res : Vaddr
Expand description
recommends
paddr % PAGE_SIZE() == 0,
paddr < MAX_PADDR(),
{ (FRAME_METADATA_RANGE().start + (paddr / PAGE_SIZE()) * META_SLOT_SIZE()) as usize }