max_meta_slots

ostd::specs::mm::frame::mapping

Function max_meta_slots 

Source 
pub open spec fn max_meta_slots() -> int
Expand description
{ (FRAME_METADATA_RANGE.end - FRAME_METADATA_RANGE.start) / META_SLOT_SIZE as int }