Skip to main content

frame_to_index

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

Function frame_to_index 

Source 
pub open spec fn frame_to_index(paddr: Paddr) -> int
Expand description
recommends
paddr % PAGE_SIZE == 0,
{ (paddr / PAGE_SIZE) as int }