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