machine_process_ue_event
static void machine_process_ue_event(struct work_struct *work);
static DECLARE_WORK(mce_ue_event_work, machine_process_ue_event);