diff options
| author | Cyrill Gorcunov <[email protected]> | 2008-06-27 19:43:40 +0400 |
|---|---|---|
| committer | Ingo Molnar <[email protected]> | 2008-07-08 13:16:09 +0200 |
| commit | afda335dc3872ca122842e26720ac6e6ef287aa2 (patch) | |
| tree | 18e7c147367c7be397f49c94b5993d38cb923f09 /tools | |
| parent | 914bebfad42c417b84bda8920a3073d236007fde (diff) | |
x86: nmi_watchdog - documentation fix
nmi_watchdog is set to NMI_NONE by default (ie disabled) on _any_
mode so lets fix documentation too.
Signed-off-by: Cyrill Gorcunov <[email protected]>
Cc: "Maciej W. Rozycki" <[email protected]>
Signed-off-by: Ingo Molnar <[email protected]>
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions