diff options
author | Cyrill Gorcunov <gorcunov@gmail.com> | 2008-05-24 19:36:31 +0400 |
---|---|---|
committer | Thomas Gleixner <tglx@linutronix.de> | 2008-05-25 22:32:50 +0200 |
commit | ddca03c98a7f7ad5ab09967ff52d4ed60358c896 (patch) | |
tree | d59a5c8ece8858a1436d88a10fd12e6c6cf564b2 /init | |
parent | 2e4db9d2c5db9c9dd3e1d1ec3263bc4a990ff8df (diff) |
x86: nmi - unify die_nmi() interface
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>
Diffstat (limited to 'init')
0 files changed, 0 insertions, 0 deletions