static void i440fx_pcihost_get_pci_hole64_start(Object *obj, Visitor *v,

                                                const char *name,

                                                void *opaque, Error **errp)

{

    PCIHostState *h = PCI_HOST_BRIDGE(obj);

    Range w64;



    pci_bus_get_w64_range(h->bus, &w64);



    visit_type_uint64(v, name, &w64.begin, errp);

}

static void i440fx_pcihost_get_pci_hole64_start(Object *obj, Visitor *v,

                                                const char *name,

                                                void *opaque, Error **errp)

{

    PCIHostState *h = PCI_HOST_BRIDGE(obj);

    Range w64;



    pci_bus_get_w64_range(h->bus, &w64);



    visit_type_uint64(v, name, &w64.begin, errp);

}

static void FUNC_0(Object *VAR_0, Visitor *VAR_1,

                                                const char *VAR_2,

                                                void *VAR_3, Error **VAR_4)

{

    PCIHostState *h = PCI_HOST_BRIDGE(VAR_0);

    Range w64;



    pci_bus_get_w64_range(h->bus, &w64);



    visit_type_uint64(VAR_1, VAR_2, &w64.begin, VAR_4);

}

static void FUNC_0(Object *VAR_0, Visitor *VAR_1,
const char *VAR_2,
void *VAR_3, Error **VAR_4)
{ PCIHostState *h = PCI_HOST_BRIDGE(VAR_0); Range w64; pci_bus_get_w64_range(h->bus, &w64); visit_type_uint64(VAR_1, VAR_2, &w64.begin, VAR_4); }