Searched refs:send_virtqueue (Results 1 - 3 of 3) sorted by relevance
/seL4-camkes-master/projects/camkes/apps/cakeml_tipc/components/client/ |
H A D | client.c | 23 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 D | vswitch.c | 47 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 D | vswitch.h | 103 * @param send_virtqueue An initialized handle to a send virtqueue for 110 virtqueue_driver_t *send_virtqueue,
|
Completed in 86 milliseconds