Symbol: wmi_scan_event