machine_check_print_event_info
extern void machine_check_print_event_info(struct machine_check_event *evt,
machine_check_print_event_info(evt, false, false);
EXPORT_SYMBOL_GPL(machine_check_print_event_info);
machine_check_print_event_info(&vcpu->arch.mce_evt,false, true);
machine_check_print_event_info(&vcpu->arch.mce_evt, false, true);
machine_check_print_event_info(&evt, user_mode(regs), false);
machine_check_print_event_info(&evt, user_mode(regs), false);