MAX_NR_PAGES

ostd::specs::arch

Function MAX_NR_PAGES 

Source 
pub const exec fn MAX_NR_PAGES() -> val : u64
Expand description
ensures
val == CONST_MAX_NR_PAGES,

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