void bdrv_get_backing_filename(BlockDriverState *bs,

                               char *filename, int filename_size)

{

    pstrcpy(filename, filename_size, bs->backing_file);

}

void bdrv_get_backing_filename(BlockDriverState *bs,

                               char *filename, int filename_size)

{

    pstrcpy(filename, filename_size, bs->backing_file);

}

void FUNC_0(BlockDriverState *VAR_0,

                               char *VAR_1, int VAR_2)

{

    pstrcpy(VAR_1, VAR_2, VAR_0->backing_file);

}

void FUNC_0(BlockDriverState *VAR_0,
char *VAR_1, int VAR_2)
{ pstrcpy(VAR_1, VAR_2, VAR_0->backing_file); }