Symbol: wmi_pdev_temperature_event