PAGE_SIZE_SPEC

ostd::specs::arch::mm

Function PAGE_SIZE_SPEC 

Source 
pub open spec fn PAGE_SIZE_SPEC() -> usize
Expand description
{ CONST_PAGE_SIZE }

The specification of the constant PAGE_SIZE.