x86/kgbd: Use NMI_VECTOR not APIC_DM_NMI
authorThomas Gleixner <tglx@linutronix.de>
Mon, 22 Jul 2019 18:47:06 +0000 (20:47 +0200)
committerThomas Gleixner <tglx@linutronix.de>
Thu, 25 Jul 2019 14:11:56 +0000 (16:11 +0200)
commit2591bc4e8d70b4e1330d327fb7e3921f4e070a51
treefad9e764c20f7ccac755f26c7098271a5bb0e235
parenta2df00fd501214923999071678d684f5988940f4
x86/kgbd: Use NMI_VECTOR not APIC_DM_NMI

apic->send_IPI_allbutself() takes a vector number as argument.

APIC_DM_NMI is clearly not a vector number. It's defined to 0x400 which is
outside the vector space.

Use NMI_VECTOR instead as that's what it is intended to be.

Fixes: 82da3ff89dc2 ("x86: kgdb support")
Signed-off-by: Thomas Gleixner <tglx@linutronix.de>
Acked-by: Peter Zijlstra (Intel) <peterz@infradead.org>
Link: https://lkml.kernel.org/r/20190722105218.855189979@linutronix.de
arch/x86/kernel/kgdb.c