Signed-off-by: Gerd Hoffmann kraxel@redhat.com --- src/fw/pciinit.c | 2 ++ 1 file changed, 2 insertions(+)
diff --git a/src/fw/pciinit.c b/src/fw/pciinit.c index 23fbd2f..3de0c7e 100644 --- a/src/fw/pciinit.c +++ b/src/fw/pciinit.c @@ -770,6 +770,7 @@ static void pci_region_map_entries(struct pci_bus *busses, struct pci_region *r)
static void pci_bios_map_devices(struct pci_bus *busses) { + dprintf(1, "PCI: 32: %016llx - %016llx\n", pcimem_start, pcimem_end); if (pci_bios_init_root_regions(busses)) { struct pci_region r64_mem, r64_pref; r64_mem.list.first = NULL; @@ -796,6 +797,7 @@ static void pci_bios_map_devices(struct pci_bus *busses) pcimem64_start = r64_mem.base; pcimem64_end = r64_pref.base + sum_pref; pcimem64_end = ALIGN(pcimem64_end, (1LL<<30)); // 1G hugepage + dprintf(1, "PCI: 64: %016llx - %016llx\n", pcimem64_start, pcimem64_end);
pci_region_map_entries(busses, &r64_mem); pci_region_map_entries(busses, &r64_pref);