Symbol: hp_wmi_get_fan_speed
drivers/platform/x86/hp/hp-wmi.c
2406
if (hp_wmi_get_fan_speed(channel) >= 0)
drivers/platform/x86/hp/hp-wmi.c
2429
ret = hp_wmi_get_fan_speed(channel);