usr/src/uts/i86pc/sys/mach_mmu.h

153

extern void mmu_invlpg(caddr_t);

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/hat_i86.h

282

#define mmu_flush_tlb_kpage(va) mmu_invlpg((caddr_t)va)

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

471

mmu_invlpg((caddr_t)addr);

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

495

mmu_invlpg((caddr_t)va);

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

516

mmu_invlpg((caddr_t)va);

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

556

mmu_invlpg((caddr_t)va);

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

146

mmu_invlpg(window);

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

196

mmu_invlpg((caddr_t)va);

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

350

mmu_invlpg((caddr_t)va);

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

389

mmu_invlpg((caddr_t)va);

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

422

mmu_invlpg((caddr_t)va);

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

460

mmu_invlpg(window);