Function frame_to_index_spec Copy item path

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

{ paddr / PAGE_SIZE() }