Symbol: mmu_flush_tlb_kpage
usr/src/uts/i86pc/vm/hat_i86.h
282
#define mmu_flush_tlb_kpage(va) mmu_invlpg((caddr_t)va)
usr/src/uts/i86pc/vm/i86_mmu.c
491
mmu_flush_tlb_kpage(uintptr_t va)