PCI 0x10df:0xfc00 pci

Reported by 1 machine.