Searched refs:RX_QUEUE (Results 1 - 5 of 5) sorted by relevance
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/drivers/ |
H A D | virtio_emul.c | 94 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 D | virtio_console_emul.c | 26 struct vring *vring = &virtq->vring[RX_QUEUE]; 29 uint16_t idx = virtq->last_idx[RX_QUEUE]; 75 virtq->last_idx[RX_QUEUE]++;
|
H A D | virtio_net_emul.c | 47 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 D | virtio_pci_emul.h | 20 #define RX_QUEUE 0 macro
|
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/pc99/ |
H A D | virtio_pci.c | 28 #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