On Wed, Jun 07, 2017 at 01:01:46PM -0600, Alex Williamson wrote: > XXV710 has the same broken INTx behavior as the rest of the X/XL710 > series, the interrupt status register is not wired to report pending > INTx interrupts, thus we never associate the interrupt to the device. > Extend the device IDs to include these so that we hide that the > device supports INTx at all to the user. Is vfio really the right place for the list? Shouldn't this be keyed off the core PCI quirk for these devices?
