meta_addr

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

Function meta_addr 

Source 
pub open spec fn meta_addr(i: usize) -> res : usize
Expand description
recommends
0 <= i < max_meta_slots() as usize,
{ (FRAME_METADATA_RANGE().start + i * META_SLOT_SIZE()) as usize }