Struct PageTable

pub struct PageTable<C: PageTableConfig> {
    root: Frame<PageTablePageMeta<C>>,
}

A handle to a page table. A page table can track the lifetime of the mapped physical pages.

Fields

root: Frame<PageTablePageMeta<C>>

Implementations

impl PageTable<UserPtConfig>

pub fn activate(&self)

impl PageTable<KernelPtConfig>

pub(crate) fn new_kernel_page_table() -> Self

Create a new kernel page table.

pub(super) fn create_user_page_table(&'static self) -> PageTable<UserPtConfig>

Create a new user page table.

This should be the only way to create the user page table, that is to duplicate the kernel page table with all the kernel mappings shared.

pub unsafe fn protect_flush_tlb( &self, vaddr: &Range<Vaddr>, op: impl FnMut(&mut PageProperty), ) -> Result<(), PageTableError>

Protect the given virtual address range in the kernel page table.

This method flushes the TLB entries when doing protection.

• The protecting operation does not affect kernel’s memory safety.

impl<C: PageTableConfig> PageTable<C>

pub fn empty() -> Self

Create a new empty page table.

Useful for the IOMMU page tables only.

pub(super) unsafe fn first_activate_unchecked(&self)

• This function should be called only once per system.

pub fn root_paddr(&self) -> Paddr

The physical address of the root page table.

Obtaining the physical address of the root page table is safe, however, using it or providing it to the hardware will be unsafe since the page table node may be dropped, resulting in UAF.

pub fn cursor_mut<'rcu, G: AsAtomicModeGuard>( &'rcu self, guard: &'rcu G, va: &Range<Vaddr>, ) -> Result<CursorMut<'rcu, C>, PageTableError>

Create a new cursor exclusively accessing the virtual address range for mapping.

If another cursor is already accessing the range, the new cursor may wait until the previous cursor is dropped.

pub fn cursor<'rcu, G: AsAtomicModeGuard>( &'rcu self, guard: &'rcu G, va: &Range<Vaddr>, ) -> Result<Cursor<'rcu, C>, PageTableError>

Create a new cursor exclusively accessing the virtual address range for querying.

If another cursor is already accessing the range, the new cursor may wait until the previous cursor is dropped. The modification to the mapping by the cursor may also block or be overridden by the mapping of another cursor.

pub unsafe fn shallow_copy(&self) -> Self

Create a new reference to the same page table. The caller must ensure that the kernel page table is not copied. This is only useful for IOMMU page tables. Think twice before using it in other cases.

• This function should not be executed after copying the page table.

Trait Implementations

impl<C: Debug + PageTableConfig> Debug for PageTable<C>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.