fan_update_desired_level 8257 drivers/platform/x86/thinkpad_acpi.c 		fan_update_desired_level(s);
fan_update_desired_level 8379 drivers/platform/x86/thinkpad_acpi.c 		fan_update_desired_level(level);
fan_update_desired_level 8682 drivers/platform/x86/thinkpad_acpi.c 			fan_update_desired_level(newlevel);