- Change the VSLOT_START to keep the same BDF for intel graphic card

    passthrough.

diff --git a/hw/pci.h b/hw/pci.h
index 4adc4d74923f7f4e7bdcf4f395170f66bb4f33cf..96b097d468eb86f77674989e48c06b02e2f4b7ed 100644 (file)
--- a/hw/pci.h
+++ b/hw/pci.h
@@ -101,8 +101,8 @@ PCIBus *pci_bridge_init(PCIBus *bus, int devfn, uint32_t id,
                         pci_map_irq_fn map_irq, const char *name);
 
 /* PCI slot 6~7 support ACPI PCI hot plug */
-#define PHP_SLOT_START  (6)
-#define PHP_SLOT_END    (8)
+#define PHP_SLOT_START  (2)
+#define PHP_SLOT_END    (5)
 #define PHP_SLOT_LEN    (PHP_SLOT_END - PHP_SLOT_START)
 #define PHP_TO_PCI_SLOT(x) (x + PHP_SLOT_START)
 #define PCI_TO_PHP_SLOT(x) (x - PHP_SLOT_START)
@@ -167,4 +167,7 @@ PCIBus *pci_apb_init(target_phys_addr_t special_base, target_phys_addr_t mem_bas
 /* pass-through.c */
 int pt_init(PCIBus *e_bus, const char *direct_pci_opt);
 
+/* pass-through.c */
+int pt_init(PCIBus *e_bus, const char *direct_pci_opt);
+
 #endif