Tycho Nightingale 0775fbb475 Fix a race wherein the source of an interrupt vector is wrongly
attributed if an ExtINT arrives during interrupt injection.

Also, fix a spurious interrupt if the PIC tries to raise an interrupt
before the outstanding one is accepted.

Finally, improve the PIC interrupt latency when another interrupt is
raised immediately after the outstanding one is accepted by creating a
vmexit rather than waiting for one to occur by happenstance.

Approved by:	neel (co-mentor)
2014-03-15 23:09:34 +00:00
..
2014-03-11 10:07:01 +00:00
2012-05-24 22:00:48 +00:00
2012-03-28 20:58:30 +00:00
2014-03-11 10:27:57 +00:00