Symbol: x86pte_inval
usr/src/uts/i86pc/vm/hat_i86.c
2717
old_pte = x86pte_inval(ht, entry, old_pte, pte_ptr, tlb);
usr/src/uts/i86pc/vm/hat_i86.c
3831
old_pte = x86pte_inval(ht, entry, 0, NULL, B_TRUE);
usr/src/uts/i86pc/vm/hat_i86.c
4561
(void) x86pte_inval(ht, entry, 0, NULL, B_TRUE);
usr/src/uts/i86pc/vm/htable.h
283
extern x86pte_t x86pte_inval(htable_t *ht, uint_t entry,