Detect the 64 bit window programmed by firmware and configure properties accordingly.
Signed-off-by: Michael S. Tsirkin <m...@redhat.com> --- hw/pci-host/piix.c | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/hw/pci-host/piix.c b/hw/pci-host/piix.c index 221d82b..9e7f82a 100644 --- a/hw/pci-host/piix.c +++ b/hw/pci-host/piix.c @@ -236,6 +236,9 @@ static void i440fx_pcihost_get_pci_hole64_start(Object *obj, Visitor *v, Error **errp) { I440FXState *s = I440FX_PCI_HOST_BRIDGE(obj); + PCIHostState *h = PCI_HOST_BRIDGE(obj); + + pci_bus_get_w64_range(h->bus, &s->pci_info.w64); visit_type_uint64(v, &s->pci_info.w64.begin, name, errp); } @@ -245,6 +248,9 @@ static void i440fx_pcihost_get_pci_hole64_end(Object *obj, Visitor *v, Error **errp) { I440FXState *s = I440FX_PCI_HOST_BRIDGE(obj); + PCIHostState *h = PCI_HOST_BRIDGE(obj); + + pci_bus_get_w64_range(h->bus, &s->pci_info.w64); visit_type_uint64(v, &s->pci_info.w64.end, name, errp); } -- MST