Skip to main content

page_table_managed_end_spec

ostd::specs::mm::page_table

Function page_table_managed_end_spec 

Source 
pub open spec fn page_table_managed_end_spec<C: PageTableConfig>() -> int
Expand description
{
    page_table_coverage_start_spec::<C>() as int
        + C::TOP_LEVEL_INDEX_RANGE().end * page_size::<C>(C::NR_LEVELS())
}

Exclusive end of the managed virtual-address range, restricted by TOP_LEVEL_INDEX_RANGE. This mathematical boundary may be one past Vaddr::MAX.