frame_to_index

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

Function frame_to_index 

Source 
pub exec fn frame_to_index(paddr: Paddr) -> res : usize
Expand description
requires
paddr % PAGE_SIZE() == 0,
ensures
res == frame_to_index_spec(paddr),