diff options
| author | Mingarelli, Thomas <Thomas.Mingarelli@hp.com> | 2008-03-25 17:17:30 +0000 |
|---|---|---|
| committer | Wim Van Sebroeck <wim@iguana.be> | 2008-05-25 09:01:48 +0000 |
| commit | 7f7f894c6d3285407b2493d1575500fb25e3d495 (patch) | |
| tree | ec4a6c54e7aa41b4e17bd7a07aa6002416c2e7a7 /drivers/watchdog/geodewdt.c | |
| parent | 93539b194696a6291e6895be07d4241c8d972c4b (diff) | |
[WATCHDOG] hpwdt: Fix NMI handling.
I need to just return in case it's not my NMI so someone else can take a look
at it (and reset die_nmi_called to 0 in case I actually do get one that's mine
to handle).
Signed-off-by: Thomas Mingarelli <thomas.mingarelli@hp.com>
Signed-off-by: Wim Van Sebroeck <wim@iguana.be>
Diffstat (limited to 'drivers/watchdog/geodewdt.c')
0 files changed, 0 insertions, 0 deletions