fan_watchdog_maxinterval 8108 drivers/platform/x86/thinkpad_acpi.c static int fan_watchdog_maxinterval;
fan_watchdog_maxinterval 8521 drivers/platform/x86/thinkpad_acpi.c 	if (fan_watchdog_maxinterval > 0 &&
fan_watchdog_maxinterval 8524 drivers/platform/x86/thinkpad_acpi.c 			msecs_to_jiffies(fan_watchdog_maxinterval * 1000));
fan_watchdog_maxinterval 8730 drivers/platform/x86/thinkpad_acpi.c 	return snprintf(buf, PAGE_SIZE, "%u\n", fan_watchdog_maxinterval);
fan_watchdog_maxinterval 8744 drivers/platform/x86/thinkpad_acpi.c 	fan_watchdog_maxinterval = t;
fan_watchdog_maxinterval 8789 drivers/platform/x86/thinkpad_acpi.c 	fan_watchdog_maxinterval = 0;
fan_watchdog_maxinterval 9138 drivers/platform/x86/thinkpad_acpi.c 		fan_watchdog_maxinterval = interval;