| commit | ddca03c98a7f7ad5ab09967ff52d4ed60358c896 | [log] [tgz] |
|---|---|---|
| author | Cyrill Gorcunov <gorcunov@gmail.com> | Sat May 24 19:36:31 2008 +0400 |
| committer | Thomas Gleixner <tglx@linutronix.de> | Sun May 25 22:32:50 2008 +0200 |
| tree | d59a5c8ece8858a1436d88a10fd12e6c6cf564b2 | |
| 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>