Index: /trunk/src/VBox/Devices/PC/BIOS/biosint.h
===================================================================
--- /trunk/src/VBox/Devices/PC/BIOS/biosint.h	(revision 42531)
+++ /trunk/src/VBox/Devices/PC/BIOS/biosint.h	(revision 42532)
@@ -63,4 +63,5 @@
 #define DEBUG_INT1A     0
 #define DEBUG_INT74     0
+#define DEBUG_PCI       0
 
 #define FP_OFF(p)   ((unsigned)(p))
Index: /trunk/src/VBox/Devices/PC/BIOS/pcibios.c
===================================================================
--- /trunk/src/VBox/Devices/PC/BIOS/pcibios.c	(revision 42531)
+++ /trunk/src/VBox/Devices/PC/BIOS/pcibios.c	(revision 42532)
@@ -308,5 +308,5 @@
     uint16_t                device;
 
-    BX_DEBUG_PCI("PCI: AX=%04X BX=%04X CX=%04X\n", AX, BX, CX);
+    BX_DEBUG_PCI("PCI: AX=%04X BX=%04X CX=%04X DI=%04X\n", AX, BX, CX, DI);
 
     SET_AH(SUCCESSFUL);     /* Assume success. */