x86: nmi_watchdog - use nmi_watchdog variable for printing
authorCyrill Gorcunov <gorcunov@gmail.com>
Tue, 24 Jun 2008 20:52:04 +0000 (22:52 +0200)
committerIngo Molnar <mingo@elte.hu>
Tue, 8 Jul 2008 10:51:39 +0000 (12:51 +0200)
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 <gorcunov@gmail.com>
Cc: macro@linux-mips.org
Signed-off-by: Ingo Molnar <mingo@elte.hu>

No differences found