Struct PageMapLevel4 

#[repr(C, align(4096))]
pub struct PageMapLevel4 {
    entries: [Pml4Entry; 512],
}

The top-level page map (PML4).

Layout:

• 512 entries, 8 bytes each (4096 bytes total).
• 4 KiB aligned, as required by the hardware.

Use PageMapLevel4::get and PageMapLevel4::set to read/write entries.

Fields

entries: [Pml4Entry; 512]

Implementations

impl PageMapLevel4

pub const fn zeroed() -> Self

Create a fully zeroed (all entries non-present) PML4 table.

pub const fn get(&self, i: L4Index) -> Pml4Entry

Read the entry at the given index.

This is a plain fetch; it does not perform TLB synchronization.

pub const fn set(&mut self, i: L4Index, e: Pml4Entry)

Write the entry at the given index.

Caller is responsible for any required TLB invalidation after modifying mappings that affect active address spaces.

pub const fn index_of(va: VirtualAddress) -> L4Index

Derive the L4Index from a virtual address.