void acpi_memory_plug_cb(ACPIREGS *ar, qemu_irq irq, MemHotplugState *mem_st,

                         DeviceState *dev, Error **errp)

{

    MemStatus *mdev;



    mdev = acpi_memory_slot_status(mem_st, dev, errp);

    if (!mdev) {

        return;

    }



    mdev->dimm = dev;

    mdev->is_enabled = true;

    mdev->is_inserting = true;



    /* do ACPI magic */

    acpi_send_gpe_event(ar, irq, ACPI_MEMORY_HOTPLUG_STATUS);

    return;

}

void acpi_memory_plug_cb(ACPIREGS *ar, qemu_irq irq, MemHotplugState *mem_st,

                         DeviceState *dev, Error **errp)

{

    MemStatus *mdev;



    mdev = acpi_memory_slot_status(mem_st, dev, errp);

    if (!mdev) {

        return;

    }



    mdev->dimm = dev;

    mdev->is_enabled = true;

    mdev->is_inserting = true;



    

    acpi_send_gpe_event(ar, irq, ACPI_MEMORY_HOTPLUG_STATUS);

    return;

}

void FUNC_0(ACPIREGS *VAR_0, qemu_irq VAR_1, MemHotplugState *VAR_2,

                         DeviceState *VAR_3, Error **VAR_4)

{

    MemStatus *mdev;



    mdev = acpi_memory_slot_status(VAR_2, VAR_3, VAR_4);

    if (!mdev) {

        return;

    }



    mdev->dimm = VAR_3;

    mdev->is_enabled = true;

    mdev->is_inserting = true;



    

    acpi_send_gpe_event(VAR_0, VAR_1, ACPI_MEMORY_HOTPLUG_STATUS);

    return;

}

void FUNC_0(ACPIREGS *VAR_0, qemu_irq VAR_1, MemHotplugState *VAR_2,
DeviceState *VAR_3, Error **VAR_4)
{ MemStatus *mdev; mdev = acpi_memory_slot_status(VAR_2, VAR_3, VAR_4); if (!mdev) { return; } mdev->dimm = VAR_3; mdev->is_enabled = true; mdev->is_inserting = true; acpi_send_gpe_event(VAR_0, VAR_1, ACPI_MEMORY_HOTPLUG_STATUS); return; }