void platform_pml2e_set_flags(pml2e_t *pml2, vm_flags flags)
void platform_pml4e_set_flags(pml4e_t *pml4, vm_flags flags)
void platform_invalidate_tlb(ptr_t vaddr)
void platform_pml1e_set_flags(pml1e_t *pml1, vm_flags flags)
bool platform_pml1e_get_present(const pml1e_t *pml1)
void platform_pml3e_set_flags(pml3e_t *pml3, vm_flags flags)
static void pml3e_do_flag_callback(pml3_t pml3, pml3e_t *e, ptr_t vaddr, void *data)
static void pml1e_do_flag_callback(pml1_t pml1, pml1e_t *e, ptr_t vaddr, void *data)
const pagetable_walk_options_t pagetable_do_flag_callbacks
static void pml2e_do_flag_callback(pml2_t pml2, pml2e_t *e, ptr_t vaddr, void *data)
static void pml4e_do_flag_callback(pml4_t pml4, pml4e_t *e, ptr_t vaddr, void *data)