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;