winchip_cpu_setup  318 arch/i386/i386/machdep.c void	winchip_cpu_setup(struct cpu_info *);
winchip_cpu_setup  843 arch/i386/i386/machdep.c 			winchip_cpu_setup