diff options
author | Nicholas Piggin <npiggin@gmail.com> | 2023-05-13 22:12:26 +1000 |
---|---|---|
committer | Reza Arbab <arbab@linux.ibm.com> | 2023-06-06 13:32:12 -0500 |
commit | d40064f479e6a94c2ff7714046d40818b4d993f0 (patch) | |
tree | 653b1efdea5706361800f620da06eb50512329cb /hw | |
parent | d2689980a3207508a8737c286ff0ab404bd482bc (diff) | |
download | skiboot-d40064f479e6a94c2ff7714046d40818b4d993f0.zip skiboot-d40064f479e6a94c2ff7714046d40818b4d993f0.tar.gz skiboot-d40064f479e6a94c2ff7714046d40818b4d993f0.tar.bz2 |
ipmi: remove unused OS watchdog support
This code hasn't been enabled, remove it.
Signed-off-by: Nicholas Piggin <npiggin@gmail.com>
Signed-off-by: Reza Arbab <arbab@linux.ibm.com>
Diffstat (limited to 'hw')
-rw-r--r-- | hw/ipmi/ipmi-watchdog.c | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/hw/ipmi/ipmi-watchdog.c b/hw/ipmi/ipmi-watchdog.c index 38fbff8..40882e1 100644 --- a/hw/ipmi/ipmi-watchdog.c +++ b/hw/ipmi/ipmi-watchdog.c @@ -43,7 +43,6 @@ more frequently than necessary. */ #define WDT_MARGIN 300 static struct timer wdt_timer; -static bool wdt_stopped; static bool wdt_ticking; /* Saved values from the last watchdog set action */ @@ -161,23 +160,6 @@ static void reset_wdt(struct timer *t __unused, void *data, } } -void ipmi_wdt_stop(void) -{ - if (!wdt_stopped) { - /* Make sure the background reset timer is disabled before - * stopping the watchdog. If we issue a reset after disabling - * the timer, it will be re-enabled. */ - wdt_ticking = false; - cancel_timer(&wdt_timer); - - /* Configure the watchdog to be disabled and do no action - * in case the underlying implementation is buggy and times - * out anyway. */ - wdt_stopped = true; - set_wdt(WDT_NO_ACTION, 100, 0, false, false); - } -} - void ipmi_wdt_final_reset(void) { /* We can safely stop the timer prior to setting up our final @@ -192,14 +174,7 @@ void ipmi_wdt_final_reset(void) * can catch up in their development environments. * If you still read this after 2018, send a patch! */ -#if 0 - /* Configure the watchdog and make sure it is still enabled */ - set_wdt(WDT_RESET_ACTION | WDT_PRETIMEOUT_SMI, WDT_TIMEOUT, - WDT_MARGIN/10, true, true); - sync_reset_wdt(); -#else set_wdt(WDT_NO_ACTION, 100, 0, false, false); -#endif } void ipmi_wdt_init(void) |