# CONFIG_PCI_IOV is not set
