Symbol: mmu_flush_tlb_page
usr/src/uts/i86pc/vm/hat_i86.h
281
#define mmu_flush_tlb_page(va) mmu_invlpg((caddr_t)va)
usr/src/uts/i86pc/vm/i86_mmu.c
506
mmu_flush_tlb_page(uintptr_t va)