Skip to main content

frame_to_meta

ostd::mm::frame

Function frame_to_meta 

Source 
pub exec fn frame_to_meta(paddr: Paddr) -> res : Vaddr
Expand description
requires
paddr % PAGE_SIZE == 0,
paddr < MAX_PADDR,
ensures
res == frame_to_meta_spec(paddr),
res % META_SLOT_SIZE == 0,

Converts a physical address of a base frame to the virtual address of the metadata slot.