NR_ENTRIES_SPEC

ostd::specs::arch

Function NR_ENTRIES_SPEC 

Source 
pub open spec fn NR_ENTRIES_SPEC() -> usize
Expand description
{ CONST_NR_ENTRIES }

The specification of the constant NR_ENTRIES.