Symbol: x86pte_cpu_init
usr/src/uts/i86pc/vm/hat_i86.c
4511
x86pte_cpu_init(cpup);
usr/src/uts/i86pc/vm/htable.h
271
extern void x86pte_cpu_init(cpu_t *);
usr/src/uts/i86pc/vm/i86_mmu.c
376
x86pte_cpu_init(CPU);