VREQ_GS_ALLOCED
ASSERT(vreq->v_status == VREQ_GS_ALLOCED);
case VREQ_GS_ALLOCED:
vreq->v_status = VREQ_GS_ALLOCED;
vreq->v_status = VREQ_GS_ALLOCED;
case VREQ_GS_ALLOCED:
vreq->v_status = VREQ_GS_ALLOCED;