MAX_PADDR

ostd::specs::arch::mm

Function MAX_PADDR 

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

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