const char *bdrv_get_device_name(const BlockDriverState *bs)

{

    return bs->blk ? blk_name(bs->blk) : "";

}

const char *bdrv_get_device_name(const BlockDriverState *bs)

{

    return bs->blk ? blk_name(bs->blk) : "";

}

const char *FUNC_0(const BlockDriverState *VAR_0)

{

    return VAR_0->blk ? blk_name(VAR_0->blk) : "";

}

const char *FUNC_0(const BlockDriverState *VAR_0)
{ return VAR_0->blk ? blk_name(VAR_0->blk) : ""; }