This is an interesting enough setting to add a dprintf() for.

Signed-off-by: John Levon <john.le...@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

_______________________________________________
SeaBIOS mailing list -- seabios@seabios.org
To unsubscribe send an email to seabios-le...@seabios.org

Reply via email to