KERNEL_END_VADDR_SPEC

ostd::specs::arch::kspace

Function KERNEL_END_VADDR_SPEC 

Source 
pub open spec fn KERNEL_END_VADDR_SPEC() -> Vaddr
Expand description
{ CONST_KERNEL_END_VADDR }

The specification of the constant KERNEL_END_VADDR.