Searched refs:winchip_machine_check (Results 1 – 3 of 3) sorted by relevance
200 noinstr void winchip_machine_check(struct pt_regs *regs);207 static 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
1424 return winchip_machine_check(regs); in do_machine_check()