x86/page_tables/page_tables.cpp

259                                    bool was_terminal) {
273         cm->pending_tlb()->enqueue(vaddr, level, is_kernel_address(vaddr), was_terminal);
278                                   volatile pt_entry_t* pte, bool was_terminal) {
290         cm->pending_tlb()->enqueue(vaddr, level, is_kernel_address(vaddr), was_terminal);
340                     false /* was_terminal */);
347     UpdateEntry(cm, level, vaddr, pte, X86_VIRT_TO_PHYS(m), flags, true /* was_terminal */);
463                 UnmapEntry(cm, level, new_cursor->vaddr, e, true /* was_terminal */);
477                 UnmapEntry(cm, level, new_cursor->vaddr, e, true /* was_terminal */);
513             UnmapEntry(cm, level, new_cursor->vaddr, e, false /* was_terminal */);
548             UnmapEntry(cm, PT_L, new_cursor->vaddr, e, true /* was_terminal */);
625                         new_cursor->paddr, term_flags | X86_MMU_PG_PS, false /* was_terminal */);
641                             X86_VIRT_TO_PHYS(m), interm_flags, false /* was_terminal */);
678                     false /* was_terminal */);
736                             term_flags | X86_MMU_PG_PS, true /* was_terminal */);
794                         term_flags, true /* was_terminal */);