Symbol: pending_wmi_event