MAX_USERSPACE_VADDR

ostd::specs::arch

Function MAX_USERSPACE_VADDR 

Source 
pub const exec fn MAX_USERSPACE_VADDR() -> val : Vaddr
Expand description
ensures
val == CONST_MAX_USERSPACE_VADDR,

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