Joseph Koshy bebaef4a3d Process one NMI interrupt per handler invocation as the processor
'buffers' pending NMIs from multiple interrupting PMCs and delivers
them serially.

Reported by:	 Olivier Crameri <olivier.crameri@epfl.ch>
MFC after:	3 days
2005-09-12 15:55:44 +00:00
..
2005-09-11 20:51:15 +00:00
2005-09-11 18:39:03 +00:00
2005-09-10 07:46:47 +00:00
2005-09-12 13:50:56 +00:00
2005-09-11 20:51:15 +00:00
2005-09-12 01:21:42 +00:00