Symbol: x86pte_copy
usr/src/uts/i86pc/vm/hat_i86.c
576
x86pte_copy(src, ht, start, cnt);
usr/src/uts/i86pc/vm/htable.h
289
extern void x86pte_copy(htable_t *src, htable_t *dest, uint_t entry,