K 10
svn:author
V 4
neel
K 8
svn:date
V 27
2014-01-23T06:06:50.580118Z
K 7
svn:log
V 231
Set "Interrupt Window Exiting" in the case where there is a vector to be
injected into the vcpu but the VM-entry interruption information field
already has the valid bit set.

Pointed out by:	David Reed (david.reed@tidalscale.com)

END