Symbol: p4tcc_setperf
sys/arch/i386/i386/p4tcc.c
98
cpu_setperf = p4tcc_setperf;
sys/arch/i386/include/cpu.h
445
void p4tcc_setperf(int);