diff options
| -rw-r--r-- | sys/dev/ipmi/ipmi.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/sys/dev/ipmi/ipmi.c b/sys/dev/ipmi/ipmi.c index c42805d..5e30770 100644 --- a/sys/dev/ipmi/ipmi.c +++ b/sys/dev/ipmi/ipmi.c @@ -647,6 +647,9 @@ ipmi_wd_event(void *arg, unsigned int cmd, int *error) unsigned int timeout; int e; + if (dumping) + return; + cmd &= WD_INTERVAL; if (cmd > 0 && cmd <= 63) { timeout = ((uint64_t)1 << cmd) / 1000000000; |
