VMALLOC_VADDR_RANGE_SPEC

ostd::mm::kspace

Function VMALLOC_VADDR_RANGE_SPEC 

Source 
pub open spec fn VMALLOC_VADDR_RANGE_SPEC() -> Range<Vaddr>
Expand description
{ CONST_VMALLOC_VADDR_RANGE }

The specification of the constant VMALLOC_VADDR_RANGE.