Symbol: wmi_txe_notify_event