Symbol: hati_pte_map
usr/src/uts/i86pc/vm/hat_i86.c
1999
rv = hati_pte_map(ht, entry, pp, pte, flags, NULL);
usr/src/uts/i86pc/vm/hat_i86.c
2047
(void) hati_pte_map(ht, entry, pp, pte, flags, pte_ptr);