Searched refs:RX_QUEUE (Results 1 - 5 of 5) sorted by relevance

/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/drivers/
H A Dvirtio_emul.c94 if (value == RX_QUEUE) {
131 emul->virtq.queue_size[RX_QUEUE] = queue_size;
134 vring_init(&emul->virtq.vring[RX_QUEUE], emul->virtq.queue_size[RX_QUEUE], 0, VIRTIO_PCI_VRING_ALIGN);
135 vring_init(&emul->virtq.vring[TX_QUEUE], emul->virtq.queue_size[RX_QUEUE], 0, VIRTIO_PCI_VRING_ALIGN);
H A Dvirtio_console_emul.c26 struct vring *vring = &virtq->vring[RX_QUEUE];
29 uint16_t idx = virtq->last_idx[RX_QUEUE];
75 virtq->last_idx[RX_QUEUE]++;
H A Dvirtio_net_emul.c47 struct vring *vring = &vq->vring[RX_QUEUE];
53 uint16_t idx = vq->last_idx[RX_QUEUE];
112 vq->last_idx[RX_QUEUE]++;
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/include/sel4vmmplatsupport/drivers/
H A Dvirtio_pci_emul.h20 #define RX_QUEUE 0 macro
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/pc99/
H A Dvirtio_pci.c28 #define RX_QUEUE 0 macro
192 write_reg16(dev, VIRTIO_PCI_QUEUE_SEL, RX_QUEUE);
202 write_reg16(dev, VIRTIO_PCI_QUEUE_SEL, RX_QUEUE);
274 write_reg16(dev, VIRTIO_PCI_QUEUE_NOTIFY, RX_QUEUE);

Completed in 91 milliseconds