Symbol: wmi_stats_event