On Fri, Feb 19, 2016 at 11:15:06AM +0100, Jan Kiszka wrote: > On 2016-02-19 10:58, Paolo Bonzini wrote: > > I think you're not verifying the SVT, SID and SQ fields in the IRTE. > > Exactly. > > > > > The source ID can be passed to the IOMMU using the MemTxAttrs mechanism. > > Ah, that's a nice new channel, resolving the need for using/passing > source-specific target memory regions for this. At least for PCI > devices, it should already be populated with the required information, > others (IOAPIC, HPET) probably require additional work to pass what I > defined as Q35_PSEUDO_BUS_PLATFORM, Q35_PSEUDO_DEVFN_IOAPIC/HPET.
Jan, Rita, Paolo, One more thing to ask: do we have any plan to move on the work to support vhost/pass-through devices? Do you think we need these too? Thanks. Peter