x86: nmi - unify die_nmi() interface
authorCyrill Gorcunov <gorcunov@gmail.com>
Sat, 24 May 2008 15:36:31 +0000 (19:36 +0400)
committerThomas Gleixner <tglx@linutronix.de>
Sun, 25 May 2008 20:32:50 +0000 (22:32 +0200)
By slightly changing 32bit mode die_nmi() we may unify the
interface and make it common for both (32/64bit) modes

Signed-off-by: Cyrill Gorcunov <gorcunov@gmail.com>
Cc: hpa@zytor.com
Cc: mingo@redhat.com
Signed-off-by: Thomas Gleixner <tglx@linutronix.de>

No differences found