Searched defs:camkes_virtqueue_id (Results 1 - 2 of 2) sorted by path

/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) argument
104 static inline int camkes_virtqueue_device_init(virtqueue_device_t *device, unsigned int camkes_virtqueue_id) argument
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/
H A Dvirtqueue.c64 static camkes_virtqueue_channel_t *get_virtqueue_channel(virtqueue_role_t role, unsigned int camkes_virtqueue_id) argument
99 int camkes_virtqueue_driver_init_with_recv(virtqueue_driver_t *driver, unsigned int camkes_virtqueue_id, argument
123 int camkes_virtqueue_device_init_with_recv(virtqueue_device_t *device, unsigned int camkes_virtqueue_id, argument

Completed in 38 milliseconds