[PATCH] x86: fix duplicate calls of the nmi handler

From: Robert Richter
Date: Fri Sep 10 2010 - 11:59:38 EST


On 10.09.10 10:46:34, Ingo Molnar wrote:
> > > I'll look at getting a trace of the thing, but if any of you has a
> > > bright idea...

I found another patch in my queue, which fixes a duplicate call of the
nmi handler. Since I could not yet reproduce the bug, I am not sure if
this fixes the problem, but it is worth a try.

-Robert

--