ADDR_WIDTH_SHIFT

ostd::specs::arch::kspace

Function ADDR_WIDTH_SHIFT 

Source 
pub const exec fn ADDR_WIDTH_SHIFT() -> val : isize
Expand description
ensures
val == CONST_ADDR_WIDTH_SHIFT,

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