void qcow2_free_clusters(BlockDriverState *bs,

                          int64_t offset, int64_t size)

{

    int ret;



    BLKDBG_EVENT(bs->file, BLKDBG_CLUSTER_FREE);

    ret = update_refcount(bs, offset, size, -1);

    if (ret < 0) {

        fprintf(stderr, "qcow2_free_clusters failed: %s\n", strerror(-ret));

        abort();

    }

}

void qcow2_free_clusters(BlockDriverState *bs,

                          int64_t offset, int64_t size)

{

    int ret;



    BLKDBG_EVENT(bs->file, BLKDBG_CLUSTER_FREE);

    ret = update_refcount(bs, offset, size, -1);

    if (ret < 0) {

        fprintf(stderr, "qcow2_free_clusters failed: %s\n", strerror(-ret));

        abort();

    }

}

        abort();
void FUNC_0(BlockDriverState *VAR_0,

                          int64_t VAR_1, int64_t VAR_2)

{

    int VAR_3;



    BLKDBG_EVENT(VAR_0->file, BLKDBG_CLUSTER_FREE);

    VAR_3 = update_refcount(VAR_0, VAR_1, VAR_2, -1);

    if (VAR_3 < 0) {

        fprintf(stderr, "FUNC_0 failed: %s\n", strerror(-VAR_3));

        abort();

    }

}

void FUNC_0(BlockDriverState *VAR_0,
int64_t VAR_1, int64_t VAR_2)
{ int VAR_3; BLKDBG_EVENT(VAR_0->file, BLKDBG_CLUSTER_FREE); VAR_3 = update_refcount(VAR_0, VAR_1, VAR_2, -1); if (VAR_3 < 0) { fprintf(stderr, "FUNC_0 failed: %s\n", strerror(-VAR_3)); abort(); } }