Hi On 2/13/16 01:19, Paolo Bonzini wrote:
When the IOMMU cannot inject interrupts into the guest vcpu due to it is >not running (therefore, it cannot doorbell the vcpu directly), it logs >the interrupt in the GA log buffer.Where is this documented?
http://support.amd.com/TechDocs/48882_IOMMU.pdf Regards, Suravee

