diff options
author | Don Zickus <dzickus@redhat.com> | 2011-01-06 16:18:50 -0500 |
---|---|---|
committer | Ingo Molnar <mingo@elte.hu> | 2011-01-07 15:08:53 +0100 |
commit | c410b8307702c1e1f35be3fd868ad18e4ba0410f (patch) | |
tree | f81443153309c5d144ec1d163c089cc912c3e201 /Documentation/00-INDEX | |
parent | 166d751479c6d4e5b17dfc1f204a9c4397c9b3f1 (diff) | |
download | linux-c410b8307702c1e1f35be3fd868ad18e4ba0410f.tar.bz2 |
x86, NMI: Remove DIE_NMI_IPI
With priorities in place and no one really understanding the difference between
DIE_NMI and DIE_NMI_IPI, just remove DIE_NMI_IPI and convert everyone to DIE_NMI.
This also simplifies default_do_nmi() a little bit. Instead of calling the
die_notifier in both the if and else part, just pull it out and call it before
the if-statement. This has the side benefit of avoiding a call to the ioport
to see if there is an external NMI sitting around until after the (more frequent)
internal NMIs are dealt with.
Patch-Inspired-by: Huang Ying <ying.huang@intel.com>
Signed-off-by: Don Zickus <dzickus@redhat.com>
Signed-off-by: Peter Zijlstra <a.p.zijlstra@chello.nl>
LKML-Reference: <1294348732-15030-5-git-send-email-dzickus@redhat.com>
Signed-off-by: Ingo Molnar <mingo@elte.hu>
Diffstat (limited to 'Documentation/00-INDEX')
0 files changed, 0 insertions, 0 deletions