const char *bdrv_get_format_name(BlockDriverState *bs)

{

    return bs->drv ? bs->drv->format_name : NULL;

}

const char *bdrv_get_format_name(BlockDriverState *bs)

{

    return bs->drv ? bs->drv->format_name : NULL;

}

const char *FUNC_0(BlockDriverState *VAR_0)

{

    return VAR_0->drv ? VAR_0->drv->format_name : NULL;

}

const char *FUNC_0(BlockDriverState *VAR_0)
{ return VAR_0->drv ? VAR_0->drv->format_name : NULL; }