static void ioreq_finish(struct ioreq *ioreq)

{

    struct XenBlkDev *blkdev = ioreq->blkdev;



    LIST_REMOVE(ioreq, list);

    LIST_INSERT_HEAD(&blkdev->finished, ioreq, list);

    blkdev->requests_inflight--;

    blkdev->requests_finished++;

}

static void ioreq_finish(struct ioreq *ioreq)

{

    struct XenBlkDev *blkdev = ioreq->blkdev;



    LIST_REMOVE(ioreq, list);

    LIST_INSERT_HEAD(&blkdev->finished, ioreq, list);

    blkdev->requests_inflight--;

    blkdev->requests_finished++;

}

static void FUNC_0(struct VAR_0 *VAR_0)

{

    struct XenBlkDev *VAR_1 = VAR_0->VAR_1;



    LIST_REMOVE(VAR_0, list);

    LIST_INSERT_HEAD(&VAR_1->finished, VAR_0, list);

    VAR_1->requests_inflight--;

    VAR_1->requests_finished++;

}

static void FUNC_0(struct VAR_0 *VAR_0)
{ struct XenBlkDev *VAR_1 = VAR_0->VAR_1; LIST_REMOVE(VAR_0, list); LIST_INSERT_HEAD(&VAR_1->finished, VAR_0, list); VAR_1->requests_inflight--; VAR_1->requests_finished++; }