Searched defs:camkes_virtqueue_driver_init (Results 1 - 1 of 1) sorted by relevance

/seL4-camkes-master/projects/camkes-tool/libsel4camkes/include/camkes/
H A Dvirtqueue.h87 static inline int camkes_virtqueue_driver_init(virtqueue_driver_t *driver, unsigned int camkes_virtqueue_id) function

Completed in 25 milliseconds