winchip_machine_check
static __always_inline void winchip_machine_check(struct pt_regs *regs) {}
noinstr void winchip_machine_check(struct pt_regs *regs)