static void piix4_acpi_system_hot_add_init(MemoryRegion *parent,

                                           PCIBus *bus, PIIX4PMState *s)

{

    memory_region_init_io(&s->io_gpe, OBJECT(s), &piix4_gpe_ops, s,

                          "acpi-gpe0", GPE_LEN);

    memory_region_add_subregion(parent, GPE_BASE, &s->io_gpe);



    acpi_pcihp_init(OBJECT(s), &s->acpi_pci_hotplug, bus, parent,

                    s->use_acpi_pci_hotplug);



    s->cpu_hotplug_legacy = true;

    object_property_add_bool(OBJECT(s), "cpu-hotplug-legacy",

                             piix4_get_cpu_hotplug_legacy,

                             piix4_set_cpu_hotplug_legacy,

                             NULL);

    legacy_acpi_cpu_hotplug_init(parent, OBJECT(s), &s->gpe_cpu,

                                 PIIX4_CPU_HOTPLUG_IO_BASE);



    if (s->acpi_memory_hotplug.is_enabled) {

        acpi_memory_hotplug_init(parent, OBJECT(s), &s->acpi_memory_hotplug);

    }

}

static void piix4_acpi_system_hot_add_init(MemoryRegion *parent,

                                           PCIBus *bus, PIIX4PMState *s)

{

    memory_region_init_io(&s->io_gpe, OBJECT(s), &piix4_gpe_ops, s,

                          "acpi-gpe0", GPE_LEN);

    memory_region_add_subregion(parent, GPE_BASE, &s->io_gpe);



    acpi_pcihp_init(OBJECT(s), &s->acpi_pci_hotplug, bus, parent,

                    s->use_acpi_pci_hotplug);



    s->cpu_hotplug_legacy = true;

    object_property_add_bool(OBJECT(s), "cpu-hotplug-legacy",

                             piix4_get_cpu_hotplug_legacy,

                             piix4_set_cpu_hotplug_legacy,

                             NULL);

    legacy_acpi_cpu_hotplug_init(parent, OBJECT(s), &s->gpe_cpu,

                                 PIIX4_CPU_HOTPLUG_IO_BASE);



    if (s->acpi_memory_hotplug.is_enabled) {

        acpi_memory_hotplug_init(parent, OBJECT(s), &s->acpi_memory_hotplug);

    }

}

static void FUNC_0(MemoryRegion *VAR_0,

                                           PCIBus *VAR_1, PIIX4PMState *VAR_2)

{

    memory_region_init_io(&VAR_2->io_gpe, OBJECT(VAR_2), &piix4_gpe_ops, VAR_2,

                          "acpi-gpe0", GPE_LEN);

    memory_region_add_subregion(VAR_0, GPE_BASE, &VAR_2->io_gpe);



    acpi_pcihp_init(OBJECT(VAR_2), &VAR_2->acpi_pci_hotplug, VAR_1, VAR_0,

                    VAR_2->use_acpi_pci_hotplug);



    VAR_2->cpu_hotplug_legacy = true;

    object_property_add_bool(OBJECT(VAR_2), "cpu-hotplug-legacy",

                             piix4_get_cpu_hotplug_legacy,

                             piix4_set_cpu_hotplug_legacy,

                             NULL);

    legacy_acpi_cpu_hotplug_init(VAR_0, OBJECT(VAR_2), &VAR_2->gpe_cpu,

                                 PIIX4_CPU_HOTPLUG_IO_BASE);



    if (VAR_2->acpi_memory_hotplug.is_enabled) {

        acpi_memory_hotplug_init(VAR_0, OBJECT(VAR_2), &VAR_2->acpi_memory_hotplug);

    }

}

static void FUNC_0(MemoryRegion *VAR_0,
PCIBus *VAR_1, PIIX4PMState *VAR_2)
{ memory_region_init_io(&VAR_2->io_gpe, OBJECT(VAR_2), &piix4_gpe_ops, VAR_2,
"acpi-gpe0", GPE_LEN); memory_region_add_subregion(VAR_0, GPE_BASE, &VAR_2->io_gpe); acpi_pcihp_init(OBJECT(VAR_2), &VAR_2->acpi_pci_hotplug, VAR_1, VAR_0,
VAR_2->use_acpi_pci_hotplug); VAR_2->cpu_hotplug_legacy = true; object_property_add_bool(OBJECT(VAR_2), "cpu-hotplug-legacy",
piix4_get_cpu_hotplug_legacy,
piix4_set_cpu_hotplug_legacy,
NULL); legacy_acpi_cpu_hotplug_init(VAR_0, OBJECT(VAR_2), &VAR_2->gpe_cpu,
PIIX4_CPU_HOTPLUG_IO_BASE); if (VAR_2->acpi_memory_hotplug.is_enabled) { acpi_memory_hotplug_init(VAR_0, OBJECT(VAR_2), &VAR_2->acpi_memory_hotplug); } }