FRAME_METADATA_CAP_VADDR_SPEC

ostd::mm::kspace

Function FRAME_METADATA_CAP_VADDR_SPEC 

Source 
pub open spec fn FRAME_METADATA_CAP_VADDR_SPEC() -> Vaddr
Expand description
{ CONST_FRAME_METADATA_CAP_VADDR }

The specification of the constant FRAME_METADATA_CAP_VADDR.