static void blkverify_aio_cb(void *opaque, int ret)

{

    BlkverifyAIOCB *acb = opaque;



    switch (++acb->done) {

    case 1:

        acb->ret = ret;

        break;



    case 2:

        if (acb->ret != ret) {

            blkverify_err(acb, "return value mismatch %d != %d", acb->ret, ret);

        }



        if (acb->verify) {

            acb->verify(acb);

        }



        aio_bh_schedule_oneshot(bdrv_get_aio_context(acb->common.bs),

                                blkverify_aio_bh, acb);

        break;

    }

}

static void blkverify_aio_cb(void *opaque, int ret)

{

    BlkverifyAIOCB *acb = opaque;



    switch (++acb->done) {

    case 1:

        acb->ret = ret;

        break;



    case 2:

        if (acb->ret != ret) {

            blkverify_err(acb, "return value mismatch %d != %d", acb->ret, ret);

        }



        if (acb->verify) {

            acb->verify(acb);

        }



        aio_bh_schedule_oneshot(bdrv_get_aio_context(acb->common.bs),

                                blkverify_aio_bh, acb);

        break;

    }

}

    BlkverifyAIOCB *acb = opaque; static void blkverify_aio_cb(void *opaque, int ret)     BlkverifyAIOCB *acb = opaque;     switch (++acb->done) {     case 1:         acb->ret = ret;         break;     case 2:         if (acb->ret != ret) {             blkverify_err(acb, "return value mismatch %d != %d", acb->ret, ret);         if (acb->verify) {             acb->verify(acb);         aio_bh_schedule_oneshot(bdrv_get_aio_context(acb->common.bs),                                 blkverify_aio_bh, acb);         break;
static void FUNC_0(void *VAR_0, int VAR_1)

{

    BlkverifyAIOCB *acb = VAR_0;



    switch (++acb->done) {

    case 1:

        acb->VAR_1 = VAR_1;

        break;



    case 2:

        if (acb->VAR_1 != VAR_1) {

            blkverify_err(acb, "return value mismatch %d != %d", acb->VAR_1, VAR_1);

        }



        if (acb->verify) {

            acb->verify(acb);

        }



        aio_bh_schedule_oneshot(bdrv_get_aio_context(acb->common.bs),

                                blkverify_aio_bh, acb);

        break;

    }

}

static void FUNC_0(void *VAR_0, int VAR_1)
{ BlkverifyAIOCB *acb = VAR_0; switch (++acb->done) { case 1:
acb->VAR_1 = VAR_1; break; case 2:
if (acb->VAR_1 != VAR_1) { blkverify_err(acb, "return value mismatch %d != %d", acb->VAR_1, VAR_1); } if (acb->verify) { acb->verify(acb); } aio_bh_schedule_oneshot(bdrv_get_aio_context(acb->common.bs),
blkverify_aio_bh, acb); break; } }