On Fri, May 28, 2010 at 03:45:09AM -0400, Erik van der Kouwe wrote:
> This is a ok, the problem is the event_inj field rather than the
> exit_int_info field. From what I've seen the SVM specification neither
> specifies that the CPU writes to this field nor does it explicitly
> forbid it. Given the unclarity of the specification it may safest to
> deal with this in the same way as the hardware does (although I don't
> know which way this is, it seems inuitively unlikely that the hardware
> would set event_inj to valid).
The "AMD64 Architecture Programmer's Manual Volume 2" states in section
15.19:
When an event is injected by means of this mechanism, the VMRUN
instruction causes the guest to unconditionally take the
specified exception or interrupt before executing the first
guest instruction.
Which implicitly means that. But it could be documented more explicitly,
thats right :)
Joerg
