Struct PageTableBuilder 

pub struct PageTableBuilder {
    mem: SyntheticPhysMem,
    next_page: u64,
    cr3: u64,
}

Builder for x86_64 4-level page tables.

Fields

mem: SyntheticPhysMem

next_page: u64

cr3: u64

Implementations

impl PageTableBuilder

pub const CR3: u64 = 0x0000_0000

Physical address of the PML4 table (CR3).

const ADDR_MASK: u64 = 0x000F_FFFF_FFFF_F000

pub fn new() -> Self

Create a new builder with a 16 MB synthetic memory image.

fn alloc_page(&mut self) -> u64

pub fn map_4k(self, vaddr: u64, paddr: u64, page_flags: u64) -> Self

Map a 4K virtual address to a physical address with given flags.

pub fn map_2m(self, vaddr: u64, paddr: u64, page_flags: u64) -> Self

Map a 2MB large page (sets PS bit at PD level).

pub fn map_1g(self, vaddr: u64, paddr: u64, page_flags: u64) -> Self

Map a 1GB huge page (sets PS bit at PDPT level).

fn ensure_pt_entry(&mut self, vaddr: u64) -> u64

Ensure PML4→PDPT→PD→PT hierarchy exists for a 4K vaddr, returning the PT entry address.

pub fn map_demand_zero(self, vaddr: u64) -> Self

Map a demand-zero PTE: upper levels present, PT entry = 0.

pub fn map_transition(self, vaddr: u64, pfn: u64) -> Self

Map a transition PTE: PRESENT=0, bit 11 (TRANSITION)=1, PFN in bits [12..48].

pub fn map_pagefile( self, vaddr: u64, pagefile_num: u8, page_offset: u64, ) -> Self

Map a pagefile PTE: PRESENT=0, pagefile_num in bits [1..5], page_offset in bits [12..48].

pub fn map_prototype(self, vaddr: u64) -> Self

Map a prototype PTE: PRESENT=0, bit 10 (PROTOTYPE)=1.

pub fn map_prototype_raw(self, vaddr: u64, raw_pte: u64) -> Self

Map a prototype PTE with a specific raw PTE value. Bit 10 must be set.

pub fn write_phys(self, addr: u64, data: &[u8]) -> Self

Write data bytes at a physical address in the synthetic memory.

pub fn write_phys_u64(self, addr: u64, value: u64) -> Self

Write a u64 value at a physical address.

pub fn build(self) -> (u64, SyntheticPhysMem)

Consume the builder and return the CR3 value + synthetic memory.

Trait Implementations

impl Default for PageTableBuilder

fn default() -> Self

Returns the “default value” for a type.