MAX_PADDR_SPEC

ostd::specs::arch

Function MAX_PADDR_SPEC 

Source 
pub open spec fn MAX_PADDR_SPEC() -> usize
Expand description
{ CONST_MAX_PADDR }

The specification of the constant MAX_PADDR.