void acpi_memory_unplug_cb(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_enabled = false;

    mdev->dimm = NULL;

}

void acpi_memory_unplug_cb(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_enabled = false;

    mdev->dimm = NULL;

}

void FUNC_0(MemHotplugState *VAR_0,

                           DeviceState *VAR_1, Error **VAR_2)

{

    MemStatus *mdev;



    mdev = acpi_memory_slot_status(VAR_0, VAR_1, VAR_2);

    if (!mdev) {

        return;

    }



    

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

    mdev->is_enabled = false;

    mdev->dimm = NULL;

}

void FUNC_0(MemHotplugState *VAR_0,
DeviceState *VAR_1, Error **VAR_2)
{ MemStatus *mdev; mdev = acpi_memory_slot_status(VAR_0, VAR_1, VAR_2); if (!mdev) { return; } assert(!object_dynamic_cast(OBJECT(VAR_1), TYPE_NVDIMM)); mdev->is_enabled = false; mdev->dimm = NULL; }