Skip to main content

tracked_segment_entry_new

ostd::specs::mm::embedding

Function tracked_segment_entry_new 

Source 
pub proof fn tracked_segment_entry_new(range: Range<Paddr>) -> tracked SegmentEntry
Expand description
returns
(SegmentEntry { range }),

Tracked constructor for SegmentEntry.