get_slot_spec

Function get_slot_spec 

Source
pub open spec fn get_slot_spec(paddr: Paddr) -> res : PPtr<MetaSlot>
Expand description
recommends
paddr % 4096 == 0,
paddr < MAX_PADDR(),
{
    let slot = frame_to_meta(paddr);
    PPtr(slot, PhantomData::<MetaSlot>)
}