Symbol: hp_wmi_event