Skip to main content

page_table_coverage_start_spec

ostd::specs::mm::page_table

Function page_table_coverage_start_spec 

Source 
pub open spec fn page_table_coverage_start_spec<C: PageTableConfig>() -> Vaddr
Expand description
{
    (leading_bits_spec::<C>() * pow2(nr_page_table_coverage_bits_spec::<C>() as nat))
        as Vaddr
}

Start of the complete page-table index coverage for the configured upper bits.