Skip to main content

index_to_meta

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

Function index_to_meta 

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