Re: [PATCH v4 18/19] spapr: Handle irq backend changes with VFIO PCI devices

2019-10-09 Thread David Gibson
On Wed, Oct 09, 2019 at 05:08:17PM +1100, David Gibson wrote: > pseries machine type can have one of two different interrupt controllers in > use depending on feature negotiation with the guest. Usually this is > invisible to devices, because they route to a common set of qemu_irqs which > in turn

[PATCH v4 18/19] spapr: Handle irq backend changes with VFIO PCI devices

2019-10-09 Thread David Gibson
pseries machine type can have one of two different interrupt controllers in use depending on feature negotiation with the guest. Usually this is invisible to devices, because they route to a common set of qemu_irqs which in turn dispatch to the correct back end. VFIO passthrough devices, however,