PHYSICAL_BASE_ADDRESS_SPEC

ostd::specs::mm::page_table::node::entry_view

Function PHYSICAL_BASE_ADDRESS_SPEC 

Source 
pub open spec fn PHYSICAL_BASE_ADDRESS_SPEC() -> usize
Expand description
{ 0 }