meta_to_frame

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

Function meta_to_frame 

Source 
pub exec fn meta_to_frame(vaddr: Vaddr) -> res : Paddr
Expand description
requires
FRAME_METADATA_RANGE().start <= vaddr && vaddr < FRAME_METADATA_RANGE().end,
vaddr % META_SLOT_SIZE() == 0,
ensures
res == meta_to_frame_spec(vaddr),
res % PAGE_SIZE() == 0,