158 status_t x86_mmu_get_mapping(map_addr_t init_table, vaddr_t vaddr, uint32_t *ret_level,  in x86_mmu_get_mapping()  argument
166     DEBUG_ASSERT(init_table);  in x86_mmu_get_mapping()
174     pdpt = init_table; /* First level table in PAE mode is pdpt */  in x86_mmu_get_mapping()
192     pdt = init_table; /* First table in non PAE mode is pdt */  in x86_mmu_get_mapping()
236 status_t x86_mmu_check_mapping(map_addr_t init_table, map_addr_t paddr,  in x86_mmu_check_mapping()  argument
244     DEBUG_ASSERT(init_table);  in x86_mmu_check_mapping()
251     status = x86_mmu_get_mapping(init_table, vaddr, ret_level, &existing_flags, last_valid_entry);  in x86_mmu_check_mapping()
330 status_t x86_mmu_add_mapping(map_addr_t init_table, map_addr_t paddr,  in x86_mmu_add_mapping()  argument
340     DEBUG_ASSERT(init_table);  in x86_mmu_add_mapping()
346     pdt = get_pdp_entry_from_pdp_table(vaddr, init_table);  in x86_mmu_add_mapping()
354         update_pdp_entry(vaddr, init_table, m, get_x86_arch_flags(mmu_flags));  in x86_mmu_add_mapping()
376     pt = get_pd_entry_from_pd_table(vaddr, init_table);  in x86_mmu_add_mapping()
388         update_pd_entry(vaddr, init_table, pd_paddr, get_x86_arch_flags(mmu_flags));  in x86_mmu_add_mapping()
469 status_t x86_mmu_unmap(map_addr_t init_table, vaddr_t vaddr, size_t count)  in x86_mmu_unmap()  argument
473     DEBUG_ASSERT(init_table);  in x86_mmu_unmap()
483         x86_mmu_unmap_entry(next_aligned_v_addr, X86_PAE_PAGING_LEVELS, init_table);  in x86_mmu_unmap()
485         x86_mmu_unmap_entry(next_aligned_v_addr, X86_PAGING_LEVELS, init_table);  in x86_mmu_unmap()
515 status_t x86_mmu_map_range(map_addr_t init_table, struct map_range *range, arch_flags_t flags)  in x86_mmu_map_range()  argument
522 …TRACEF("table 0x%x, range vaddr 0x%lx paddr 0x%lx size %u\n", init_table, range->start_vaddr, rang…  in x86_mmu_map_range()
524     DEBUG_ASSERT(init_table);  in x86_mmu_map_range()
538 …     map_status = x86_mmu_add_mapping(init_table, next_aligned_p_addr, next_aligned_v_addr, flags);  in x86_mmu_map_range()
542             x86_mmu_unmap(init_table, range->start_vaddr, index);  in x86_mmu_map_range()