virtqueue_dequeue
virtqueue_dequeue(vq, NULL);
while ((c = virtqueue_dequeue(vq, NULL)) == NULL) {
while ((req = virtqueue_dequeue(vq, NULL)) != NULL) {
if ((m = virtqueue_dequeue(vq, NULL)) == NULL)
m = virtqueue_dequeue(vq, &len);
m = virtqueue_dequeue(vq, &len);
while ((txhdr = virtqueue_dequeue(vq, NULL)) != NULL) {
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);