Symbol: wmi_scan_event_type