pub open spec fn VMALLOC_BASE_VADDR_SPEC() -> Vaddr
{ CONST_VMALLOC_BASE_VADDR }
The specification of the constant VMALLOC_BASE_VADDR.
VMALLOC_BASE_VADDR