gscpm_setperf      51 arch/i386/pci/gscpm.c void	gscpm_setperf(int);
gscpm_setperf     129 arch/i386/pci/gscpm.c 	cpu_setperf = gscpm_setperf;