Messages in this thread Patch in this message | | | Date | Thu, 04 Jul 2019 17:51:46 +0200 | From | Thomas Gleixner <> | Subject | [patch V2 01/25] 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> --- V2: New patch --- arch/x86/kernel/kgdb.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-)
--- a/arch/x86/kernel/kgdb.c +++ b/arch/x86/kernel/kgdb.c @@ -424,7 +424,7 @@ static void kgdb_disable_hw_debug(struct */ void kgdb_roundup_cpus(void) { - apic->send_IPI_allbutself(APIC_DM_NMI); + apic->send_IPI_allbutself(VECTOR_NMI); } #endif
| |