ipmi_start_timer_on_heartbeat  315 drivers/char/ipmi/ipmi_watchdog.c static int ipmi_start_timer_on_heartbeat;
ipmi_start_timer_on_heartbeat  627 drivers/char/ipmi/ipmi_watchdog.c 	if (ipmi_start_timer_on_heartbeat) {
ipmi_start_timer_on_heartbeat  628 drivers/char/ipmi/ipmi_watchdog.c 		ipmi_start_timer_on_heartbeat = 0;
ipmi_start_timer_on_heartbeat  711 drivers/char/ipmi/ipmi_watchdog.c 			ipmi_start_timer_on_heartbeat = 0;
ipmi_start_timer_on_heartbeat  839 drivers/char/ipmi/ipmi_watchdog.c 		ipmi_start_timer_on_heartbeat = 1;
ipmi_start_timer_on_heartbeat 1091 drivers/char/ipmi/ipmi_watchdog.c 	ipmi_start_timer_on_heartbeat = 1;