Searched refs:camkes_virtqueue_device_init (Results 1 - 4 of 4) sorted by last modified time

/seL4-camkes-master/projects/camkes/apps/cakeml_tipc/components/client/
H A Dclient.c135 err = camkes_virtqueue_device_init(&recv_virtqueue, 1);
/seL4-camkes-master/projects/global-components/components/SerialServer/src/
H A Dserver_virtqueue.c166 int error = camkes_virtqueue_device_init(&read_virtqueue, 0);
171 error = camkes_virtqueue_device_init(&write_virtqueue, 1);
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/include/camkes/
H A Dvirtqueue.h104 static inline int camkes_virtqueue_device_init(virtqueue_device_t *device, unsigned int camkes_virtqueue_id) function
/seL4-camkes-master/projects/camkes-tool/libcamkescakeml/src/
H A Dvirtqueue.c47 int err = camkes_virtqueue_device_init(virtqueue, virtqueue_id);

Completed in 98 milliseconds