MAX_USERSPACE_VADDR_SPEC

ostd::specs::arch::mm

Function MAX_USERSPACE_VADDR_SPEC 

Source 
pub open spec fn MAX_USERSPACE_VADDR_SPEC() -> Vaddr
Expand description
{ CONST_MAX_USERSPACE_VADDR }

The specification of the constant MAX_USERSPACE_VADDR.