|
PatchworkOS
19e446b
A non-POSIX operating system.
|
A page table structure. More...
#include <paging_types.h>
Data Fields | |
| pml_alloc_pages_t | allocPages |
| pml_free_pages_t | freePages |
| pml_t * | pml4 |
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 433 of file paging_types.h.
| pml_alloc_pages_t page_table_t::allocPages |
Definition at line 435 of file paging_types.h.
| pml_free_pages_t page_table_t::freePages |
Definition at line 436 of file paging_types.h.
| pml_t* page_table_t::pml4 |
Definition at line 437 of file paging_types.h.