[Qemu-devel] Re: SVM emulation: EVENTINJ marked valid when a pagefault happens while issuing a software interrupt

[Roedel, Joerg]

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