Module address_space

Local map and limited virtual address space manipulation support for the bootshim. Certain configurations of the bootshim need the ability to map in arbitrary GPAs to process their contents in various ways. Additionally, certain VAs need to be made host visible for certain periods of time. This module provides the necessary support for manipulating the paging structures involved.

Structs

LocalMap

Local Map. Provides a VA region where arbitrary physical addresses can be mapped into the virtual address space on the current processor.

LocalMapMapping

PageTable 🔒

PageTableEntry 🔒

Enums

PageTableEntryType

Constants

PAGE_TABLE_ENTRY_COUNT 🔒

X64_PAGE_SHIFT 🔒

X64_PTE_ACCESSED 🔒

X64_PTE_BITS 🔒

X64_PTE_CONFIDENTIAL 🔒

X64_PTE_DIRTY 🔒

X64_PTE_LARGE_PAGE 🔒

X64_PTE_PRESENT 🔒

X64_PTE_READ_WRITE 🔒

Statics

LOCAL_MAP_INITIALIZED 🔒

Functions

get_amd64_pte_index 🔒

Get an AMD64 PTE index based on page table level.

get_pde_for_va 🔒 ^⚠

Returns a reference to the PDE corresponding to a virtual address.

init_local_map

Initializes the local map. This function should only be called once. It returns a LocalMap structure with a static lifetime. va is the virtual address of the local map region. It must be 2MB aligned.

page_table_at_address 🔒 ^⚠

Returns a reference to the page table page located at the specified physical address.

unmap_page_helper 🔒