Symbol: x86pte_set
usr/src/uts/i86pc/vm/hat_i86.c
1846
old_pte = x86pte_set(ht, entry, pte, pte_ptr);
usr/src/uts/i86pc/vm/htable.h
281
extern x86pte_t x86pte_set(htable_t *, uint_t entry, x86pte_t new, void *);