queue_dequeue
void *queue_dequeue(queue *q);
bool (*queue_dequeue)(virtio_queue queue, void** _cookie,
while (!fVirtio->queue_dequeue(queue, NULL, NULL)) {
while (device->fVirtio->queue_dequeue(device->fVirtioQueue, NULL, NULL))
while (fVirtio->queue_dequeue(fRequestVirtioQueue, &cookie, NULL)) {
while (controller->fVirtio->queue_dequeue(controller->fEventVirtioQueue,
while (info->virtio->queue_dequeue(info->virtio_queue, &cookie, NULL)) {
while (info->virtio->queue_dequeue(info->controlQueue, NULL, NULL))
while (info->virtio->queue_dequeue(info->cursorQueue, NULL, NULL))
while (!info->virtio->queue_dequeue(info->controlQueue, NULL, NULL))
while (dev->virtio->queue_dequeue(dev->virtio_queue, (void**)&pkt, NULL)) {
while (info->virtio->queue_dequeue(info->txQueues[0], (void**)&buf, NULL))
while (info->virtio->queue_dequeue(info->rxQueues[0], NULL, NULL))
while (!info->virtio->queue_dequeue(info->ctrlQueue, NULL, NULL))
if (!info->virtio->queue_dequeue(info->rxQueues[0], (void**)&buf,
if (!info->virtio->queue_dequeue(info->txQueues[0], (void**)&buf,
replaced_pchunk = (paddr_chunk_desc*)queue_dequeue(&mapped_paddr_lru);