PHYS_ADDR_MASK_SPEC

ostd::specs::arch::page_table_entry

Function PHYS_ADDR_MASK_SPEC 

Source 
pub open spec fn PHYS_ADDR_MASK_SPEC() -> usize
Expand description
{ CONST_PHYS_ADDR_MASK }

The specification of the constant PHYS_ADDR_MASK.