Symbol: x86pte_update
usr/src/uts/i86pc/vm/hat_i86.c
4602
replaced = x86pte_update(ht, entry, expected, new);
usr/src/uts/i86pc/vm/htable.h
286
extern x86pte_t x86pte_update(htable_t *ht, uint_t entry,