Symbol: wmi_get_temperature