Searched refs:send_virtqueue (Results 1 - 3 of 3) sorted by relevance

/seL4-camkes-master/projects/camkes/apps/cakeml_tipc/components/client/
H A Dclient.c23 virtqueue_driver_t send_virtqueue; variable
38 if (VQ_DRV_POLL(&send_virtqueue)) {
42 int err = camkes_virtqueue_buffer_alloc(&send_virtqueue, &alloc_buffer, sizeof(payload_t));
50 if (camkes_virtqueue_driver_send_buffer(&send_virtqueue, alloc_buffer, sizeof(payload_t)) != 0) {
51 camkes_virtqueue_buffer_free(&send_virtqueue, alloc_buffer);
54 send_virtqueue.notify();
104 if (!virtqueue_get_used_buf(&send_virtqueue, &handle, &wr_len)) {
108 while (!camkes_virtqueue_driver_gather_buffer(&send_virtqueue, &handle, &send_buff, &buf_size, &flag)) {
110 camkes_virtqueue_buffer_free(&send_virtqueue, send_buff);
120 if (VQ_DRV_POLL(&send_virtqueue)) {
[all...]
/seL4-camkes-master/projects/projects_libs/libvswitch/src/
H A Dvswitch.c47 virtqueue_driver_t *send_virtqueue,
72 lib->nodes[slot].virtqueues.send_queue = send_virtqueue;
45 vswitch_connect(vswitch_t *lib, struct ether_addr *guest_macaddr, virtqueue_driver_t *send_virtqueue, virtqueue_device_t *recv_virtqueue) argument
/seL4-camkes-master/projects/projects_libs/libvswitch/include/
H A Dvswitch.h103 * @param send_virtqueue An initialized handle to a send virtqueue for
110 virtqueue_driver_t *send_virtqueue,

Completed in 86 milliseconds