Skip to main content

page_size_spec

ostd::mm

Function page_size_spec 

Source 
pub open spec fn page_size_spec(level: PagingLevel) -> usize
Expand description
{
    (PAGE_SIZE
        * pow2((nr_subpage_per_huge::<PagingConsts>().ilog2() * (level - 1)) as nat))
        as usize
}