p4tcc_setperf      97 arch/i386/i386/p4tcc.c 	cpu_setperf = p4tcc_setperf;
p4tcc_setperf     397 arch/i386/include/cpu.h void	p4tcc_setperf(int);