static void pc_machine_device_post_plug_cb(HotplugHandler *hotplug_dev,

                                           DeviceState *dev, Error **errp)

{

    if (object_dynamic_cast(OBJECT(dev), TYPE_PC_DIMM)) {

        pc_dimm_post_plug(hotplug_dev, dev, errp);

    }

}

static void pc_machine_device_post_plug_cb(HotplugHandler *hotplug_dev,

                                           DeviceState *dev, Error **errp)

{

    if (object_dynamic_cast(OBJECT(dev), TYPE_PC_DIMM)) {

        pc_dimm_post_plug(hotplug_dev, dev, errp);

    }

}

static void FUNC_0(HotplugHandler *VAR_0,

                                           DeviceState *VAR_1, Error **VAR_2)

{

    if (object_dynamic_cast(OBJECT(VAR_1), TYPE_PC_DIMM)) {

        pc_dimm_post_plug(VAR_0, VAR_1, VAR_2);

    }

}

static void FUNC_0(HotplugHandler *VAR_0,
DeviceState *VAR_1, Error **VAR_2)
{ if (object_dynamic_cast(OBJECT(VAR_1), TYPE_PC_DIMM)) { pc_dimm_post_plug(VAR_0, VAR_1, VAR_2); } }