Symbol: p4tcc_init
sys/arch/i386/i386/machdep.c
1488
p4tcc_init(family, step);
sys/arch/i386/include/cpu.h
444
void p4tcc_init(int, int);