| /seL4-camkes-master/projects/camkes/apps/serialserver_loopback/components/Client/src/ |
| H A D | client.c | 44 void handle_read_callback(virtqueue_driver_t *vq) argument
65 void handle_write_callback(virtqueue_driver_t *vq) argument
|
| /seL4-camkes-master/projects/projects_libs/libvirtqueue/src/ |
| H A D | virtqueue.c | 16 void virtqueue_init_driver(virtqueue_driver_t *vq, unsigned queue_len, vq_vring_avail_t *avail_ring, argument
37 virtqueue_init_device(virtqueue_device_t *vq, unsigned queue_len, vq_vring_avail_t *avail_ring, vq_vring_used_t *used_ring, vq_vring_desc_t *desc, void (*notify)(void), void *cookie) argument
76 vq_add_desc(virtqueue_driver_t *vq, void *buf, unsigned len, vq_flags_t flag, int prev) argument
104 vq_pop_desc(virtqueue_driver_t *vq, unsigned idx, void **buf, unsigned *len, vq_flags_t *flag) argument
121 virtqueue_add_available_buf(virtqueue_driver_t *vq, virtqueue_ring_object_t *obj, void *buf, unsigned len, vq_flags_t flag) argument
141 virtqueue_get_used_buf(virtqueue_driver_t *vq, virtqueue_ring_object_t *obj, uint32_t *len) argument
155 virtqueue_add_used_buf(virtqueue_device_t *vq, virtqueue_ring_object_t *robj, uint32_t len) argument
165 virtqueue_get_available_buf(virtqueue_device_t *vq, virtqueue_ring_object_t *robj) argument
184 virtqueue_scattered_available_size(virtqueue_device_t *vq, virtqueue_ring_object_t *robj) argument
196 virtqueue_gather_available(virtqueue_device_t *vq, virtqueue_ring_object_t *robj, void **buf, unsigned *len, vq_flags_t *flag) argument
215 virtqueue_gather_used(virtqueue_driver_t *vq, virtqueue_ring_object_t *robj, void **buf, unsigned *len, vq_flags_t *flag) argument
[all...] |
| /seL4-camkes-master/projects/global-components/components/SerialServer/src/ |
| H A D | server_virtqueue.c | 41 virtqueue_device_t *vq; member in struct:__anon2
58 virtqueue_device_t *vq = vq_token->vq; local
76 virtqueue_device_t *vq = vq_token->vq; local
90 static void handle_virtqueue_message(virtqueue_device_t *vq, virtqueue_ring_object_t *handle, enum virtqueue_op op) argument
128 handle_virtqueue_callback(virtqueue_device_t *vq, enum virtqueue_op op) argument
[all...] |
| /seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/ |
| H A D | virtqueue.c | 158 int camkes_virtqueue_driver_send_buffer(virtqueue_driver_t *vq, void *buffer, size_t size) argument
172 static int chain_vq_buf(virtqueue_driver_t *vq, virtqueue_ring_object_t *handle, argument
185 int camkes_virtqueue_driver_scatter_send_buffer(virtqueue_driver_t *vq, void *buffer, size_t size) argument
211 int camkes_virtqueue_driver_gather_copy_buffer(virtqueue_driver_t *vq, virtqueue_ring_object_ argument
231 camkes_virtqueue_device_scatter_copy_buffer(virtqueue_device_t *vq, virtqueue_ring_object_t *handle, void *buffer, size_t size) argument
254 camkes_virtqueue_device_gather_copy_buffer(virtqueue_device_t *vq, virtqueue_ring_object_t *handle, void *buffer, size_t size) argument
277 camkes_virtqueue_driver_gather_buffer(virtqueue_driver_t *vq, virtqueue_ring_object_t *handle, void **buffer, unsigned *size, vq_flags_t *flag) argument
288 camkes_virtqueue_device_gather_buffer(virtqueue_device_t *vq, virtqueue_ring_object_t *handle, void **buffer, unsigned *size, vq_flags_t *flag) argument
[all...] |
| /seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/drivers/ |
| H A D | virtio_net_emul.c | 45 vqueue_t *vq = &emul->virtq; local
|