Searched refs:mmu_flush_tlb_page (Results 1 – 4 of 4) sorted by relevance
281 #define mmu_flush_tlb_page(va) mmu_invlpg((caddr_t)va) macro305 extern void mmu_flush_tlb_page(uintptr_t);
506 mmu_flush_tlb_page(uintptr_t va) in mmu_flush_tlb_page() function538 mmu_flush_tlb_page(va); in mmu_flush_tlb_range()
140 mmu_flush_tlb_page((uintptr_t)va); in xen_flush_va()157 mmu_flush_tlb_page((uintptr_t)va); in xen_gflush_va()2105 mmu_flush_tlb_page(addr); in x86pte_set()
175 mmu_flush_tlb_page((uintptr_t)PWIN_VA(level)); in xpv_panic_map()