Symbol: winchip_machine_check
arch/x86/kernel/cpu/mce/core.c
1541
return winchip_machine_check(regs);
arch/x86/kernel/cpu/mce/internal.h
317
noinstr void winchip_machine_check(struct pt_regs *regs);