Searched refs:winchip_machine_check (Results 1 – 2 of 2) sorted by relevance
20 noinstr void winchip_machine_check(struct pt_regs *regs) in winchip_machine_check() function
1567 return winchip_machine_check(regs); in do_machine_check()