do_machine_check
void do_machine_check(struct pt_regs *pt_regs);
EXPORT_SYMBOL_GPL(do_machine_check);
do_machine_check(regs);
do_machine_check(regs);
do_machine_check(pregs);
do_machine_check(®s);