NR_ENTRIES

ostd::specs::arch::mm

Function NR_ENTRIES 

Source 
pub const exec fn NR_ENTRIES() -> val : usize
Expand description
ensures
val == CONST_NR_ENTRIES,

The executable code of constant NR_ENTRIES when used cross-crate.