Searched defs:camkes_virtqueue_device_offset_to_buffer (Results 1 - 1 of 1) sorted by relevance
| /seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/ | ||
| H A D | virtqueue.c | 146 void *camkes_virtqueue_device_offset_to_buffer(virtqueue_device_t *virtqueue, uintptr_t offset) function |
Completed in 76 milliseconds