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>)
}