MAX_NR_PAGES_SPEC

ostd::specs::arch::mm

Function MAX_NR_PAGES_SPEC 

Source 
pub open spec fn MAX_NR_PAGES_SPEC() -> u64
Expand description
{ CONST_MAX_NR_PAGES }

The specification of the constant MAX_NR_PAGES.