index_to_frame

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

Function index_to_frame 

Source 
pub exec fn index_to_frame(index: usize) -> res : Paddr
Expand description
requires
index < max_meta_slots(),
ensures
res == index_to_frame_spec(index),