|
| static uint64_t * | pgdir_walk (uint64_t *pdp, const uint64_t va, int create) |
| |
| static uint64_t * | pdpe_walk (uint64_t *pdpe, const uint64_t va, int create) |
| |
| uint64_t * | pml4e_walk (uint64_t *pml4e, const uint64_t va, int create) |
| |
| uint64_t * | pml4_create (void) |
| |
| static bool | pt_for_each (uint64_t *pt, pte_for_each_func *func, void *aux, unsigned pml4_index, unsigned pdp_index, unsigned pdx_index) |
| |
| static bool | pgdir_for_each (uint64_t *pdp, pte_for_each_func *func, void *aux, unsigned pml4_index, unsigned pdp_index) |
| |
| static bool | pdp_for_each (uint64_t *pdp, pte_for_each_func *func, void *aux, unsigned pml4_index) |
| |
| bool | pml4_for_each (uint64_t *pml4, pte_for_each_func *func, void *aux) |
| |
| static void | pt_destroy (uint64_t *pt) |
| |
| static void | pgdir_destroy (uint64_t *pdp) |
| |
| static void | pdpe_destroy (uint64_t *pdpe) |
| |
| void | pml4_destroy (uint64_t *pml4) |
| |
| void | pml4_activate (uint64_t *pml4) |
| |
| void * | pml4_get_page (uint64_t *pml4, const void *uaddr) |
| |
| bool | pml4_set_page (uint64_t *pml4, void *upage, void *kpage, bool rw) |
| |
| void | pml4_clear_page (uint64_t *pml4, void *upage) |
| |
| bool | pml4_is_dirty (uint64_t *pml4, const void *vpage) |
| |
| void | pml4_set_dirty (uint64_t *pml4, const void *vpage, bool dirty) |
| |
| bool | pml4_is_accessed (uint64_t *pml4, const void *vpage) |
| |
| void | pml4_set_accessed (uint64_t *pml4, const void *vpage, bool accessed) |
| |