meta_to_frame_spec

ostd::specs::mm::frame::mapping

Function meta_to_frame_spec 

Source 
pub open spec fn meta_to_frame_spec(vaddr: Vaddr) -> Paddr
Expand description
recommends
vaddr % size_of::<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
}