Trait PagingMetaData

pub trait PagingMetaData: Sync + Send {
    type VirtAddr: MemoryAddr;

    const LEVELS: usize;
    const PA_MAX_BITS: usize;
    const VA_MAX_BITS: usize;
    const PA_MAX_ADDR: usize = _;

    // Required method
    fn flush_tlb(vaddr: Option<Self::VirtAddr>);

    // Provided methods
    fn paddr_is_valid(paddr: usize) -> bool { ... }
    fn vaddr_is_valid(vaddr: usize) -> bool { ... }
}

The architecture-dependent metadata that must be provided for PageTable64.

Required Associated Constants

const LEVELS: usize

The number of levels of the hardware page table.

const PA_MAX_BITS: usize

The maximum number of bits of physical address.

const VA_MAX_BITS: usize

The maximum number of bits of virtual address.

Provided Associated Constants

const PA_MAX_ADDR: usize = _

The maximum physical address.

Required Associated Types

type VirtAddr: MemoryAddr

The virtual address to be translated in this page table.

This associated type allows more flexible use of page tables structs like PageTable64, for example, to implement EPTs.

Required Methods

fn flush_tlb(vaddr: Option<Self::VirtAddr>)

Flushes the TLB.

If vaddr is None, flushes the entire TLB. Otherwise, flushes the TLB entry at the given virtual address.

Provided Methods

fn paddr_is_valid(paddr: usize) -> bool

Whether a given physical address is valid.

fn vaddr_is_valid(vaddr: usize) -> bool

Whether a given virtual address is valid.

Object Safety

This trait is not object safe.

Implementors

impl PagingMetaData for A64PagingMetaData

Available on AArch64 only.

const LEVELS: usize = 4usize

const PA_MAX_BITS: usize = 48usize

const VA_MAX_BITS: usize = 48usize

type VirtAddr = VirtAddr

impl PagingMetaData for X64PagingMetaData

Available on x86-64 only.

const LEVELS: usize = 4usize

const PA_MAX_BITS: usize = 52usize

const VA_MAX_BITS: usize = 48usize

type VirtAddr = VirtAddr

impl<VA: SvVirtAddr> PagingMetaData for Sv39MetaData<VA>

Available on RISC-V RV32 or RISC-V RV64 only.

const LEVELS: usize = 3usize

const PA_MAX_BITS: usize = 56usize

const VA_MAX_BITS: usize = 39usize

type VirtAddr = VA

impl<VA: SvVirtAddr> PagingMetaData for Sv48MetaData<VA>

Available on RISC-V RV32 or RISC-V RV64 only.

const LEVELS: usize = 4usize

const PA_MAX_BITS: usize = 56usize

const VA_MAX_BITS: usize = 48usize

type VirtAddr = VA