Symbol: wmi_event_worker