Skip to main content

index_to_frame

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

Function index_to_frame 

Source 
pub open spec fn index_to_frame(index: usize) -> Paddr
Expand description
recommends
index < max_meta_slots(),
{ (index * PAGE_SIZE) as usize }