winchip_mcheck_init    8 arch/x86/kernel/cpu/mcheck/mce.h void winchip_mcheck_init(struct cpuinfo_x86 *c);
winchip_mcheck_init   55 arch/x86/kernel/cpu/mcheck/mce_32.c 			winchip_mcheck_init(c);