Trait page_table::PagingMetaData

pub trait PagingMetaData: Sync + Send + Sized {
    const LEVELS: usize;
    const PA_MAX_BITS: usize;
    const VA_MAX_BITS: usize;
    const PA_MAX_ADDR: usize = _;

    // 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.

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

impl PagingMetaData for Sv39MetaData

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

impl PagingMetaData for Sv48MetaData

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

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