diff options
| author | Gleb Smirnoff <glebius@FreeBSD.org> | 2013-10-31 05:13:53 +0000 |
|---|---|---|
| committer | Gleb Smirnoff <glebius@FreeBSD.org> | 2013-10-31 05:13:53 +0000 |
| commit | a9b3c1bf054feefcb29a4e22125315e742ffb71f (patch) | |
| tree | 57d125c1802428de9d452444ac8d9b9e71523ac7 /sys/dev/ipmi | |
| parent | be09cd5706c096dfb75efe50a1669af7fdba9060 (diff) | |
Notes
Diffstat (limited to 'sys/dev/ipmi')
| -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 c42805de35aa6..5e30770cb669f 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; |