machine_check_ue_event
machine_check_ue_event(mce);
static void machine_check_ue_event(struct machine_check_event *evt);