Skip to main content

tracked_frame_entry_new

ostd::specs::mm::embedding

Function tracked_frame_entry_new 

Source 
pub proof fn tracked_frame_entry_new(paddr: Paddr) -> tracked FrameEntry
Expand description
returns
(FrameEntry { paddr }),

Tracked constructor for FrameEntry.