This is an interesting enough setting to add a dprintf() for.
Signed-off-by: John Levon <john.levon(a)nutanix.com>
---
src/fw/pciinit.c | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/src/fw/pciinit.c b/src/fw/pciinit.c
index bb44dc29..0395fdbf 100644
--- a/src/fw/pciinit.c
+++ b/src/fw/pciinit.c
@@ -1197,8 +1197,10 @@ pci_setup(void)
}
}
- if (CPUPhysBits >= 36 && CPULongMode && RamSizeOver4G)
+ if (CPUPhysBits >= 36 && CPULongMode && RamSizeOver4G) {
+ dprintf(1, "enabling 64-bit pci mmio window\n");
pci_pad_mem64 = 1;
+ }
dprintf(1, "=== PCI bus & bridge init ===\n");
if (pci_probe_host() != 0) {
--
2.34.1