page_table_t Struct Reference

A page table structure. More...

#include <paging_types.h>

Data Fields
pml_alloc_pages_t	allocPages
pml_free_pages_t	freePages
pml_t *	pml4

Detailed Description

A page table structure.

The page_table_t structure represents a page table, which stores the root of the page table (PML4) and function pointers for allocating and freeing pages. The pml4 pointer is whats actually loaded into the CR3 register to switch page tables.

Definition at line 384 of file paging_types.h.

Field Documentation

allocPages

pml_alloc_pages_t page_table_t::allocPages

Definition at line 386 of file paging_types.h.

Referenced by page_table_init(), pml_new(), and space_init().

freePages

pml_free_pages_t page_table_t::freePages

Definition at line 387 of file paging_types.h.

Referenced by page_table_init(), page_table_page_buffer_flush(), page_table_page_buffer_push(), and pml_free().

pml4

pml_t* page_table_t::pml4

Definition at line 388 of file paging_types.h.

Referenced by page_table_clear_pml1_pml2_pml3(), page_table_deinit(), page_table_find_unmapped_region(), page_table_init(), page_table_load(), page_table_traverse(), space_map_kernel_space_region(), space_unmap_kernel_space_region(), vmm_cpu_ctx_init_common(), vmm_init(), vmm_map_bootloader_lower_half(), and vmm_unmap_bootloader_lower_half().

---

The documentation for this struct was generated from the following file:

• include/kernel/mem/paging_types.h