PHYS_ADDR_MASK

ostd::specs::arch

Function PHYS_ADDR_MASK 

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

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