Searched defs:virtqueue_gather_used (Results 1 - 1 of 1) sorted by path
/seL4-camkes-master/projects/projects_libs/libvirtqueue/src/ | ||
H A D | virtqueue.c | 215 int virtqueue_gather_used(virtqueue_driver_t *vq, virtqueue_ring_object_t *robj, function |
Completed in 43 milliseconds