k6_powernow_setperf   80 arch/i386/i386/powernow.c 	cpu_setperf = k6_powernow_setperf;
k6_powernow_setperf  403 arch/i386/include/cpu.h void	k6_powernow_setperf(int);