void acpi_memory_unplug_request_cb(HotplugHandler *hotplug_dev,

                                   MemHotplugState *mem_st,

                                   DeviceState *dev, Error **errp)

{

    MemStatus *mdev;



    mdev = acpi_memory_slot_status(mem_st, dev, errp);

    if (!mdev) {

        return;

    }



    /* nvdimm device hot unplug is not supported yet. */

    assert(!object_dynamic_cast(OBJECT(dev), TYPE_NVDIMM));

    mdev->is_removing = true;

    acpi_send_event(DEVICE(hotplug_dev), ACPI_MEMORY_HOTPLUG_STATUS);

}

void acpi_memory_unplug_request_cb(HotplugHandler *hotplug_dev,

                                   MemHotplugState *mem_st,

                                   DeviceState *dev, Error **errp)

{

    MemStatus *mdev;



    mdev = acpi_memory_slot_status(mem_st, dev, errp);

    if (!mdev) {

        return;

    }



    

    assert(!object_dynamic_cast(OBJECT(dev), TYPE_NVDIMM));

    mdev->is_removing = 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;



    mdev = acpi_memory_slot_status(VAR_1, VAR_2, VAR_3);

    if (!mdev) {

        return;

    }



    

    assert(!object_dynamic_cast(OBJECT(VAR_2), TYPE_NVDIMM));

    mdev->is_removing = 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; mdev = acpi_memory_slot_status(VAR_1, VAR_2, VAR_3); if (!mdev) { return; } assert(!object_dynamic_cast(OBJECT(VAR_2), TYPE_NVDIMM)); mdev->is_removing = true; acpi_send_event(DEVICE(VAR_0), ACPI_MEMORY_HOTPLUG_STATUS); }