Function frame_to_index Copy item path

pub open spec fn frame_to_index(paddr: Paddr) -> usize

paddr % PAGE_SIZE == 0,

{ paddr / PAGE_SIZE }