@Alex Williamson: Your Kernel from git is working on Gigabyte GA-X79-UP4 Rev1.1 BIOS F7 in Debian Testing Jessie.
05:00.0 SATA controller [0106]: Marvell Technology Group Ltd. 88SE9172 SATA 6Gb/s Controller [1b4b:9172] (rev 11)
06:00.0 SATA controller [0106]: Marvell Technology Group Ltd. 88SE9172 SATA 6Gb/s Controller [1b4b:9172] (rev 11)
07:00.0 SATA controller [0106]: Marvell Technology Group Ltd. 88SE9172 SATA 6Gb/s Controller [1b4b:9172] (rev 11)
I added DECLARE_PCI_FIXUP_HEADER(PCI_VENDOR_ID_MARVELL_EXT, 0x9172, quirk_dma_func1_alias); to /drivers/pci/quirks.c
The Harddisk is accessible with vt-d active and its possible to vfio passthru x-vga in qemu 1.7.
@Alex Williamson: Your Kernel from git is working on Gigabyte GA-X79-UP4 Rev1.1 BIOS F7 in Debian Testing Jessie.
05:00.0 SATA controller [0106]: Marvell Technology Group Ltd. 88SE9172 SATA 6Gb/s Controller [1b4b:9172] (rev 11)
06:00.0 SATA controller [0106]: Marvell Technology Group Ltd. 88SE9172 SATA 6Gb/s Controller [1b4b:9172] (rev 11)
07:00.0 SATA controller [0106]: Marvell Technology Group Ltd. 88SE9172 SATA 6Gb/s Controller [1b4b:9172] (rev 11)
I added DECLARE_ PCI_FIXUP_ HEADER( PCI_VENDOR_ ID_MARVELL_ EXT, 0x9172, quirk_dma_ func1_alias) ; to /drivers/ pci/quirks. c
The Harddisk is accessible with vt-d active and its possible to vfio passthru x-vga in qemu 1.7.
Thank you for your Work.