Print the PCI resources even if they are disabled. This shows more clearly

when the BIOS is forgetful about initialising the USB controllers.

1 files changed, 12 insertions, 6 deletions

diff --git a/sys/dev/pci/pci.c b/sys/dev/pci/pci.c
index 349778f..74ae9f9 100644
--- a/sys/dev/pci/pci.c
+++ b/sys/dev/pci/pci.c
@@ -1075,6 +1075,18 @@ pci_add_map(device_t dev, pcicfgregs* cfg, int reg)
 		base |= ((u_int64_t)cfg->hose << shift);
 	}
 #endif
+	if (bootverbose) {
+		printf("\tmap[%02x]: type %x, range %2d, base %08x, size %2d",
+		       reg, pci_maptype(base), ln2range,
+		       (unsigned int) base, ln2size);
+		if (type == SYS_RES_IOPORT && !pci_porten(cfg))
+			printf(", port disabled\n");
+		else if (type == SYS_RES_MEMORY && !pci_memen(cfg))
+			printf(", memory disabled\n");
+		else
+			printf(", enabled\n");
+	}
+
 	if (type == SYS_RES_IOPORT && !pci_porten(cfg))
 		return 1;
 	if (type == SYS_RES_MEMORY && !pci_memen(cfg))
@@ -1084,12 +1096,6 @@ pci_add_map(device_t dev, pcicfgregs* cfg, int reg)
 			  base, base + (1 << ln2size) - 1,
 			  (1 << ln2size));
 
-	if (bootverbose) {
-		printf("\tmap[%02x]: type %x, range %2d, base %08x, size %2d\n",
-		       reg, pci_maptype(base), ln2range,
-		       (unsigned int) base, ln2size);
-	}
-
 	return (ln2range == 64) ? 2 : 1;
 }