usr/src/uts/i86pc/vm/hat_i86.c

2972

mmu_flush_tlb_kpage((uintptr_t)va);

usr/src/uts/i86pc/vm/hat_i86.c

4417

mmu_flush_tlb_kpage((uintptr_t)addr);

usr/src/uts/i86pc/vm/hat_i86.c

4478

mmu_flush_tlb_kpage((uintptr_t)addr);

usr/src/uts/i86pc/vm/hat_i86.h

304

extern void mmu_flush_tlb_kpage(uintptr_t);

usr/src/uts/i86pc/vm/hat_kdi.c

254

mmu_flush_tlb_kpage(hat_kdi_page);

usr/src/uts/i86pc/vm/hat_kdi.c

273

mmu_flush_tlb_kpage(hat_kdi_page);

usr/src/uts/i86pc/vm/htable.c

1992

mmu_flush_tlb_kpage((uintptr_t)PWIN_VA(x));

usr/src/uts/i86pc/vm/htable.c

2358

mmu_flush_tlb_kpage((uintptr_t)PWIN_VA(x));

usr/src/uts/i86pc/vm/i86_mmu.c

511

mmu_flush_tlb_kpage(va);