virtqueue_dequeue
void *token = virtqueue_dequeue(vq, NULL);
token = virtqueue_dequeue(vq, &len);
while ((c = virtqueue_dequeue(vq, NULL)) == NULL)
while ((req = virtqueue_dequeue(sc->vtblk_vq, NULL)) != NULL) {
while ((buf = virtqueue_dequeue(vq, &len)) != NULL) {
control = virtqueue_dequeue(vq, &len);
m = virtqueue_dequeue(rxq->vtnrx_vq, NULL);
m = virtqueue_dequeue(vq, &len);
m = virtqueue_dequeue(vq, &len);
while ((txhdr = virtqueue_dequeue(vq, NULL)) != NULL) {
while ((curreq = virtqueue_dequeue(vq, NULL)) != NULL) {
cookie = virtqueue_dequeue(vq, &rdlen);
pdu = virtqueue_dequeue(q->vq, &rx_len);
pdu = virtqueue_dequeue(q->vq, rx_len);
while ((req = virtqueue_dequeue(vq, NULL)) != NULL)
while ((event = virtqueue_dequeue(vq, NULL)) != NULL)
while ((cookie = virtqueue_dequeue(vq, len)) == NULL) {
void *virtqueue_dequeue(struct virtqueue *vq, uint32_t *len);