Lines Matching refs:next_table
400 volatile pt_entry_t* next_table = get_next_table_from_entry(pt_val);
401 return GetMapping(next_table, vaddr, lower_level(level), ret_level, mapping);
487 volatile pt_entry_t* next_table = get_next_table_from_entry(pt_val);
488 bool lower_unmapped = RemoveMapping(next_table, lower_level(level),
500 if (IS_PAGE_PRESENT(next_table[lower_idx])) {
509 paddr_t ptable_phys = X86_VIRT_TO_PHYS(next_table);
511 level, (uintptr_t)next_table, ptable_phys);
519 X86_VIRT_TO_PHYS(next_table));
761 volatile pt_entry_t* next_table = get_next_table_from_entry(pt_val);
762 ret = UpdateMapping(next_table, mmu_flags, lower_level(level),