Searched refs:winchip_machine_check (Results 1 – 3 of 3) sorted by relevance
247 noinstr void winchip_machine_check(struct pt_regs *regs);254 static __always_inline void winchip_machine_check(struct pt_regs *regs) {} in winchip_machine_check() function
20 noinstr void winchip_machine_check(struct pt_regs *regs) in winchip_machine_check() function
1453 return winchip_machine_check(regs); in do_machine_check()