static int nvdimm_plugged_device_list(Object *obj, void *opaque)

{

    GSList **list = opaque;



    if (object_dynamic_cast(obj, TYPE_NVDIMM)) {

        *list = g_slist_append(*list, DEVICE(obj));

    }



    object_child_foreach(obj, nvdimm_plugged_device_list, opaque);

    return 0;

}

static int nvdimm_plugged_device_list(Object *obj, void *opaque)

{

    GSList **list = opaque;



    if (object_dynamic_cast(obj, TYPE_NVDIMM)) {

        *list = g_slist_append(*list, DEVICE(obj));

    }



    object_child_foreach(obj, nvdimm_plugged_device_list, opaque);

    return 0;

}

static int FUNC_0(Object *VAR_0, void *VAR_1)

{

    GSList **list = VAR_1;



    if (object_dynamic_cast(VAR_0, TYPE_NVDIMM)) {

        *list = g_slist_append(*list, DEVICE(VAR_0));

    }



    object_child_foreach(VAR_0, FUNC_0, VAR_1);

    return 0;

}

static int FUNC_0(Object *VAR_0, void *VAR_1)
{ GSList **list = VAR_1; if (object_dynamic_cast(VAR_0, TYPE_NVDIMM)) { *list = g_slist_append(*list, DEVICE(VAR_0)); } object_child_foreach(VAR_0, FUNC_0, VAR_1); return 0; }