diff options
| author | Cyrill Gorcunov <[email protected]> | 2008-06-24 22:52:04 +0200 |
|---|---|---|
| committer | Ingo Molnar <[email protected]> | 2008-07-08 12:51:39 +0200 |
| commit | 116f570e5d8347bee2614da2361eeadbb639ea50 (patch) | |
| tree | 6c30b6bfdd88e53e9853100651a7266dd983626e /tools/perf/scripts/python | |
| parent | 47a486cc110fe77518c79a566b50a5c785c813ae (diff) | |
x86: nmi_watchdog - use nmi_watchdog variable for printing
Since it is possible NMI_ definitions could be changed
one day we better print out real nmi_watchdog value instead
of constant string.
Signed-off-by: Cyrill Gorcunov <[email protected]>
Cc: [email protected]
Signed-off-by: Ingo Molnar <[email protected]>
Diffstat (limited to 'tools/perf/scripts/python')
0 files changed, 0 insertions, 0 deletions