static void pci_write(void *opaque, hwaddr addr, uint64_t data,

                      unsigned int size)

{

    AcpiPciHpState *s = opaque;

    switch (addr) {

    case PCI_EJ_BASE:

        if (s->hotplug_select >= ACPI_PCIHP_MAX_HOTPLUG_BUS) {

            break;

        }

        acpi_pcihp_eject_slot(s, s->hotplug_select, data);

        ACPI_PCIHP_DPRINTF("pciej write %" HWADDR_PRIx " <== %" PRIu64 "\n",

                      addr, data);

        break;

    case PCI_SEL_BASE:

        s->hotplug_select = data;

        ACPI_PCIHP_DPRINTF("pcisel write %" HWADDR_PRIx " <== %" PRIu64 "\n",

                      addr, data);

    default:

        break;

    }

}

static void pci_write(void *opaque, hwaddr addr, uint64_t data,

                      unsigned int size)

{

    AcpiPciHpState *s = opaque;

    switch (addr) {

    case PCI_EJ_BASE:

        if (s->hotplug_select >= ACPI_PCIHP_MAX_HOTPLUG_BUS) {

            break;

        }

        acpi_pcihp_eject_slot(s, s->hotplug_select, data);

        ACPI_PCIHP_DPRINTF("pciej write %" HWADDR_PRIx " <== %" PRIu64 "\n",

                      addr, data);

        break;

    case PCI_SEL_BASE:

        s->hotplug_select = data;

        ACPI_PCIHP_DPRINTF("pcisel write %" HWADDR_PRIx " <== %" PRIu64 "\n",

                      addr, data);

    default:

        break;

    }

}

static void FUNC_0(void *VAR_0, hwaddr VAR_1, uint64_t VAR_2,

                      unsigned int VAR_3)

{

    AcpiPciHpState *s = VAR_0;

    switch (VAR_1) {

    case PCI_EJ_BASE:

        if (s->hotplug_select >= ACPI_PCIHP_MAX_HOTPLUG_BUS) {

            break;

        }

        acpi_pcihp_eject_slot(s, s->hotplug_select, VAR_2);

        ACPI_PCIHP_DPRINTF("pciej write %" HWADDR_PRIx " <== %" PRIu64 "\n",

                      VAR_1, VAR_2);

        break;

    case PCI_SEL_BASE:

        s->hotplug_select = VAR_2;

        ACPI_PCIHP_DPRINTF("pcisel write %" HWADDR_PRIx " <== %" PRIu64 "\n",

                      VAR_1, VAR_2);

    default:

        break;

    }

}

static void FUNC_0(void *VAR_0, hwaddr VAR_1, uint64_t VAR_2,
unsigned int VAR_3)
{ AcpiPciHpState *s = VAR_0; switch (VAR_1) { case PCI_EJ_BASE:
if (s->hotplug_select >= ACPI_PCIHP_MAX_HOTPLUG_BUS) { break; } acpi_pcihp_eject_slot(s, s->hotplug_select, VAR_2); ACPI_PCIHP_DPRINTF("pciej write %" HWADDR_PRIx " <== %" PRIu64 "\n",
VAR_1, VAR_2); break; case PCI_SEL_BASE:
s->hotplug_select = VAR_2; ACPI_PCIHP_DPRINTF("pcisel write %" HWADDR_PRIx " <== %" PRIu64 "\n",
VAR_1, VAR_2); default:
break; } }