x86: nmi - die_nmi() output message unification

Make 64bit die_nmi() to produce the same message as 32bit mode has

Signed-off-by: Cyrill Gorcunov <gorcunov@gmail.com>
Cc: hpa@zytor.com
Cc: mingo@redhat.com
Signed-off-by: Thomas Gleixner <tglx@linutronix.de>
This commit is contained in:
Cyrill Gorcunov 2008-05-24 19:36:32 +04:00 • committed by Thomas Gleixner
commit e56b3a12c4
2 changed files with 5 additions and 3 deletions