[SeaBIOS] [PATCH 1/4] add debug when we set pci_pad_mem64

[John Levon]

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

Signed-off-by: John Levon 
---
 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..9ad4e41a 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, "setting pci_pad_mem64=1\n");
         pci_pad_mem64 = 1;
+    }

dprintf(1, "=== PCI bus & bridge init ===\n");
     if (pci_probe_host() != 0) {