Re: [patch] i386: annotate the rest of entry.s::nmi

["Jan Beulich" <jbeulich@novell.com>]

>>> Chuck Ebbert <76306.1226@compuserve.com> 10.08.06 06:59 >>>
>Part of the NMI handler is missing annotations.  Just moving
>the RING0_INT_FRAME macro fixes it.  And additional comments
>should warn anyone changing this to recheck the annotations.

I have to admit that I can't see the value of this movement; the
code sequence in question was left un-annotated intentionally.
The point is that the push-es in FIX_STACK() aren't annotated, so
things won't be correct at those points anyway. Furthermore,
getting interrupted in any way while in this code path is going to
kill the system (and is just impossible AFAICT), so annotations
there also seem worthless. (I am actually surprised that I
annotated the code after nmi_16bit_stack, as that's similarly
constrained; even more, as I'm now looking at it, this code seems
outright wrong in using iret since that unmasks NMIs - Stas, is
your pending adjustment to the 16-bit stack handling going to
overcome this?)

The added comments certainly might be helpful, though there are
more places where frame state gets "inherited" across labels.

Jan