fan_get_speed 8701 drivers/platform/x86/thinkpad_acpi.c res = fan_get_speed(&speed); fan_get_speed 9010 drivers/platform/x86/thinkpad_acpi.c rc = fan_get_speed(&speed);