Skip to main content

frame_to_meta_spec

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

Function frame_to_meta_spec 

Source 
pub open spec fn frame_to_meta_spec(paddr: Paddr) -> Vaddr
Expand description
{ (FRAME_METADATA_RANGE.start + (paddr / PAGE_SIZE) * meta_slot_size()) as usize }