static void spapr_core_release(DeviceState *dev, void *opaque)

{

    HotplugHandler *hotplug_ctrl;



    hotplug_ctrl = qdev_get_hotplug_handler(dev);

    hotplug_handler_unplug(hotplug_ctrl, dev, &error_abort);

}

static void spapr_core_release(DeviceState *dev, void *opaque)

{

    HotplugHandler *hotplug_ctrl;



    hotplug_ctrl = qdev_get_hotplug_handler(dev);

    hotplug_handler_unplug(hotplug_ctrl, dev, &error_abort);

}

static void FUNC_0(DeviceState *VAR_0, void *VAR_1)

{

    HotplugHandler *hotplug_ctrl;



    hotplug_ctrl = qdev_get_hotplug_handler(VAR_0);

    hotplug_handler_unplug(hotplug_ctrl, VAR_0, &error_abort);

}

static void FUNC_0(DeviceState *VAR_0, void *VAR_1)
{ HotplugHandler *hotplug_ctrl; hotplug_ctrl = qdev_get_hotplug_handler(VAR_0); hotplug_handler_unplug(hotplug_ctrl, VAR_0, &error_abort); }