void platform_pml2e_set_flags(pml2e_t *pml2, vm_flags flags)
void platform_pml4e_set_flags(pml4e_t *pml4, vm_flags flags)
void platform_pml1e_set_pfn(pml1e_t *pml1, pfn_t pfn)
void platform_invalidate_tlb(ptr_t vaddr)
void platform_pml1e_set_flags(pml1e_t *pml1, vm_flags flags)
void platform_pml3e_set_flags(pml3e_t *pml3, vm_flags flags)
const pagetable_walk_options_t pagetable_do_map_callbacks
static void pml1e_do_map_callback(pml1_t pml1, pml1e_t *e, ptr_t vaddr, void *data)
static void pml2e_do_map_callback(pml2_t pml2, pml2e_t *e, ptr_t vaddr, void *data)
static void pml3e_do_map_callback(pml3_t pml3, pml3e_t *e, ptr_t vaddr, void *data)
static void pml4e_do_map_callback(pml4_t pml4, pml4e_t *e, ptr_t vaddr, void *data)
#define pmm_ref_one(thing)