pfn_t platform_pml1e_get_pfn(const pml1e_t *pml1e)
void platform_invalidate_tlb(ptr_t vaddr)
bool platform_pml1e_get_present(const pml1e_t *pml1)
const pagetable_walk_options_t pagetable_do_unmap_callbacks
static void pml4e_do_unmap_callback(pml4_t pml4, pml4e_t *e, ptr_t vaddr, void *data)
static void pml3e_do_unmap_callback(pml3_t pml3, pml3e_t *e, ptr_t vaddr, void *data)
static void pml1e_do_unmap_callback(pml1_t pml1, pml1e_t *e, ptr_t vaddr, void *data)
static void pml2e_do_unmap_callback(pml2_t pml2, pml2e_t *e, ptr_t vaddr, void *data)
#define pmm_unref_one(thing)
#define pmlxe_destroy(pmlxe)