diff options
| author | Cyrill Gorcunov <gorcunov@gmail.com> | 2008-05-24 11:36:31 -0400 |
|---|---|---|
| committer | Thomas Gleixner <tglx@linutronix.de> | 2008-05-25 16:32:50 -0400 |
| commit | ddca03c98a7f7ad5ab09967ff52d4ed60358c896 (patch) | |
| tree | d59a5c8ece8858a1436d88a10fd12e6c6cf564b2 /MAINTAINERS | |
| 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 'MAINTAINERS')
0 files changed, 0 insertions, 0 deletions