On 05/20/2014 07:27 PM, Steven Rostedt wrote:
>>
>> FWIW, if there's a way to read the NMI masking bit, this would be a
>> lot simpler.  I don't know of any way to do that, though.
> 
> Is there such a thing on all x86?
> 

It is not possible to read this bit without the assistance of SMM to the
best of my knowledge.

I'm going to do a detailed review of this proposal as soon as possible,
hopefully later tonight.

	-hpa