void acpi_memory_plug_cb(HotplugHandler *hotplug_dev, MemHotplugState *mem_st,

                         DeviceState *dev, Error **errp)

{

    MemStatus *mdev;

    DeviceClass *dc = DEVICE_GET_CLASS(dev);



    if (!dc->hotpluggable) {

        return;

    }



    mdev = acpi_memory_slot_status(mem_st, dev, errp);

    if (!mdev) {

        return;

    }



    mdev->dimm = dev;

    mdev->is_enabled = true;

    if (dev->hotplugged) {

        mdev->is_inserting = true;

        acpi_send_event(DEVICE(hotplug_dev), ACPI_MEMORY_HOTPLUG_STATUS);

    }

}

void acpi_memory_plug_cb(HotplugHandler *hotplug_dev, MemHotplugState *mem_st,

                         DeviceState *dev, Error **errp)

{

    MemStatus *mdev;

    DeviceClass *dc = DEVICE_GET_CLASS(dev);



    if (!dc->hotpluggable) {

        return;

    }



    mdev = acpi_memory_slot_status(mem_st, dev, errp);

    if (!mdev) {

        return;

    }



    mdev->dimm = dev;

    mdev->is_enabled = true;

    if (dev->hotplugged) {

        mdev->is_inserting = true;

        acpi_send_event(DEVICE(hotplug_dev), ACPI_MEMORY_HOTPLUG_STATUS);

    }

}

void FUNC_0(HotplugHandler *VAR_0, MemHotplugState *VAR_1,

                         DeviceState *VAR_2, Error **VAR_3)

{

    MemStatus *mdev;

    DeviceClass *dc = DEVICE_GET_CLASS(VAR_2);



    if (!dc->hotpluggable) {

        return;

    }



    mdev = acpi_memory_slot_status(VAR_1, VAR_2, VAR_3);

    if (!mdev) {

        return;

    }



    mdev->dimm = VAR_2;

    mdev->is_enabled = true;

    if (VAR_2->hotplugged) {

        mdev->is_inserting = true;

        acpi_send_event(DEVICE(VAR_0), ACPI_MEMORY_HOTPLUG_STATUS);

    }

}

void FUNC_0(HotplugHandler *VAR_0, MemHotplugState *VAR_1,
DeviceState *VAR_2, Error **VAR_3)
{ MemStatus *mdev; DeviceClass *dc = DEVICE_GET_CLASS(VAR_2); if (!dc->hotpluggable) { return; } mdev = acpi_memory_slot_status(VAR_1, VAR_2, VAR_3); if (!mdev) { return; } mdev->dimm = VAR_2; mdev->is_enabled = true; if (VAR_2->hotplugged) { mdev->is_inserting = true; acpi_send_event(DEVICE(VAR_0), ACPI_MEMORY_HOTPLUG_STATUS); } }