Skip to main content

tracked_unique_entry_new

ostd::specs::mm::embedding

Function tracked_unique_entry_new 

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

Tracked constructor for UniqueEntry.