ostd::specs::mm::page_table

Function page_table_vaddr_bits_spec

pub open spec fn page_table_vaddr_bits_spec<C: PagingConstsTrait>() -> usize

Expand description

{ pte_index_bit_offset_spec::<C>((C::NR_LEVELS() + 1) as PagingLevel) }

Number of bits occupied by all configured page-table indices and the in-page offset. This need not equal the architecture’s effective virtual-address width.

page_table_vaddr_bits_spec

Function page_table_vaddr_bits_spec Copy item path

Function page_table_vaddr_bits_spec