void acpi_pcihp_init(AcpiPciHpState *s, PCIBus *root_bus,

                     MemoryRegion *address_space_io)

{

    s->root= root_bus;

    memory_region_init_io(&s->io, NULL, &acpi_pcihp_io_ops, s,

                          "acpi-pci-hotplug",

                          PCI_HOTPLUG_SIZE);

    memory_region_add_subregion(address_space_io, PCI_HOTPLUG_ADDR, &s->io);

}

void acpi_pcihp_init(AcpiPciHpState *s, PCIBus *root_bus,

                     MemoryRegion *address_space_io)

{

    s->root= root_bus;

    memory_region_init_io(&s->io, NULL, &acpi_pcihp_io_ops, s,

                          "acpi-pci-hotplug",

                          PCI_HOTPLUG_SIZE);

    memory_region_add_subregion(address_space_io, PCI_HOTPLUG_ADDR, &s->io);

}

void FUNC_0(AcpiPciHpState *VAR_0, PCIBus *VAR_1,

                     MemoryRegion *VAR_2)

{

    VAR_0->root= VAR_1;

    memory_region_init_io(&VAR_0->io, NULL, &acpi_pcihp_io_ops, VAR_0,

                          "acpi-pci-hotplug",

                          PCI_HOTPLUG_SIZE);

    memory_region_add_subregion(VAR_2, PCI_HOTPLUG_ADDR, &VAR_0->io);

}

void FUNC_0(AcpiPciHpState *VAR_0, PCIBus *VAR_1,
MemoryRegion *VAR_2)
{ VAR_0->root= VAR_1; memory_region_init_io(&VAR_0->io, NULL, &acpi_pcihp_io_ops, VAR_0,
"acpi-pci-hotplug",
PCI_HOTPLUG_SIZE); memory_region_add_subregion(VAR_2, PCI_HOTPLUG_ADDR, &VAR_0->io); }