void hotplug_handler_post_plug(HotplugHandler *plug_handler,

                               DeviceState *plugged_dev,

                               Error **errp)

{

    HotplugHandlerClass *hdc = HOTPLUG_HANDLER_GET_CLASS(plug_handler);



    if (hdc->post_plug) {

        hdc->post_plug(plug_handler, plugged_dev, errp);

    }

}

void hotplug_handler_post_plug(HotplugHandler *plug_handler,

                               DeviceState *plugged_dev,

                               Error **errp)

{

    HotplugHandlerClass *hdc = HOTPLUG_HANDLER_GET_CLASS(plug_handler);



    if (hdc->post_plug) {

        hdc->post_plug(plug_handler, plugged_dev, errp);

    }

}

void FUNC_0(HotplugHandler *VAR_0,

                               DeviceState *VAR_1,

                               Error **VAR_2)

{

    HotplugHandlerClass *hdc = HOTPLUG_HANDLER_GET_CLASS(VAR_0);



    if (hdc->post_plug) {

        hdc->post_plug(VAR_0, VAR_1, VAR_2);

    }

}

void FUNC_0(HotplugHandler *VAR_0,
DeviceState *VAR_1,
Error **VAR_2)
{ HotplugHandlerClass *hdc = HOTPLUG_HANDLER_GET_CLASS(VAR_0); if (hdc->post_plug) { hdc->post_plug(VAR_0, VAR_1, VAR_2); } }