fan_set_level    8377 drivers/platform/x86/thinkpad_acpi.c 	rc = fan_set_level(level);
fan_set_level    8678 drivers/platform/x86/thinkpad_acpi.c 		rc = fan_set_level(newlevel);