Searched refs:enqueue (Results 1 - 3 of 3) sorted by relevance
| /fuchsia/zircon/kernel/arch/x86/page_tables/include/arch/x86/page_tables/ |
| H A D | page_tables.h | 54 void enqueue(vaddr_t v, PageTableLevel level, bool is_global_page, bool is_terminal);
|
| /fuchsia/zircon/kernel/arch/x86/page_tables/ |
| H A D | page_tables.cpp | 89 void PendingTlbInvalidation::enqueue(vaddr_t v, PageTableLevel level, bool is_global_page, function in class:PendingTlbInvalidation
273 cm->pending_tlb()->enqueue(vaddr, level, is_kernel_address(vaddr), was_terminal);
290 cm->pending_tlb()->enqueue(vaddr, level, is_kernel_address(vaddr), was_terminal);
|
| /fuchsia/zircon/kernel/arch/x86/ |
| H A D | mmu.cpp | 477 tlb.enqueue(0, PML4_L, /* global */ false, /* terminal */ false);
|
Completed in 19 milliseconds