static char *print_drive(void *ptr)

{

    return g_strdup(bdrv_get_device_name(ptr));

}

static char *print_drive(void *ptr)

{

    return g_strdup(bdrv_get_device_name(ptr));

}

static char *FUNC_0(void *VAR_0)

{

    return g_strdup(bdrv_get_device_name(VAR_0));

}

static char *FUNC_0(void *VAR_0)
{ return g_strdup(bdrv_get_device_name(VAR_0)); }