x86, UV: Set DELIVERY_MODE=4 for vector=NMI_VECTOR in uv_hub_send_ipi()
authorRobin Holt <holt@sgi.com>
Tue, 20 Oct 2009 19:36:15 +0000 (14:36 -0500)
committerIngo Molnar <mingo@elte.hu>
Wed, 21 Oct 2009 11:31:13 +0000 (13:31 +0200)
commit02dd0a0613e0d84c7dd8315e3fe6204d005b7c79
treec92bab134966741b89d60623b6fc2980510c3ebb
parent1d21e6e3ffad2939f9d8179817c6f9bc3b811b68
x86, UV: Set DELIVERY_MODE=4 for vector=NMI_VECTOR in uv_hub_send_ipi()

When sending a NMI_VECTOR IPI using the UV_HUB_IPI_INT register,
we need to ensure the delivery mode field of that register has
NMI delivery selected.

This makes those IPIs true NMIs, instead of flat IPIs. It
matters to reboot sequences and KGDB, both of which use NMI
IPIs.

Signed-off-by: Robin Holt <holt@sgi.com>
Acked-by: Jack Steiner <steiner@sgi.com>
Cc: Martin Hicks <mort@sgi.com>
Cc: <stable@kernel.org>
LKML-Reference: <20091020193620.877322000@alcatraz.americas.sgi.com>
Signed-off-by: Ingo Molnar <mingo@elte.hu>
arch/x86/include/asm/uv/uv_hub.h