Page Table

include/mem/page_table.h

typedef uint64_t pte_atomic_t;

void pte_unlock_internal(pte_atomic_t *pte);

pte_unlock_internal referenced types:

void pte_lock_internal(pte_atomic_t *pte);

pte_lock_internal referenced types:

enum irql pte_lock_irql(pte_atomic_t *pte);

pte_lock_irql referenced types:

void pte_unlock_irql(pte_atomic_t *pte, enum irql old_irql);

pte_unlock_irql referenced types:

#define PT_LEVELS 4

#define PT_SHIFT_L1 12

#define PT_SHIFT_L2 21

#define PT_SHIFT_L3 30

#define PT_SHIFT_L4 39

#define PT_STRIDE 9

#define PTE_LOCK_BIT ((uint64_t) 1 << 9)

#define PTE_AVAIL2_BIT ((uint64_t) 1 << 11)