Searched defs:mmu_flush_tlb_kpage (Results 1 – 2 of 2) sorted by relevance
491 mmu_flush_tlb_kpage(uintptr_t va) in mmu_flush_tlb_kpage() function
282 #define mmu_flush_tlb_kpage(va) mmu_invlpg((caddr_t)va) macro