Symbol: x86pte_cpu_fini
usr/src/uts/i86pc/vm/hat_i86.c
4528
x86pte_cpu_fini(cpup);
usr/src/uts/i86pc/vm/htable.h
272
extern void x86pte_cpu_fini(cpu_t *);