@@ -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);
}
Detect the 64 bit window programmed by firmware and configure properties accordingly. Signed-off-by: Michael S. Tsirkin <mst@redhat.com> --- hw/pci-host/piix.c | 6 ++++++ 1 file changed, 6 insertions(+)