Searched defs:camkes_virtqueue_device_gather_buffer (Results 1 - 1 of 1) sorted by last modified time
| /seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/ | ||
| H A D | virtqueue.c | 288 int camkes_virtqueue_device_gather_buffer(virtqueue_device_t *vq, virtqueue_ring_object_t *handle, function |
Completed in 36 milliseconds