On Wed, 15 Jul 2015, Russell King wrote: > Convert x86 to use the generic nmi handler code which can be shared > between architectures. > > Signed-off-by: Russell King <rmk+kernel at arm.linux.org.uk> Reviewed-and-tested-by: Thomas Gleixner <tglx at linutronix.de>