Symbol: HP_WMI_PLATFORM_EVENTS_GUID
drivers/hwmon/hp-wmi-sensors.c
1682
count = hp_wmi_wobj_instance_count(HP_WMI_PLATFORM_EVENTS_GUID);
drivers/hwmon/hp-wmi-sensors.c
1696
wobj = hp_wmi_get_wobj(HP_WMI_PLATFORM_EVENTS_GUID, i);