Searched refs:handle_read_callback (Results 1 - 1 of 1) sorted by relevance

/seL4-camkes-master/projects/camkes/apps/serialserver_loopback/components/Client/src/
H A Dclient.c18 void handle_read_callback(virtqueue_driver_t *vq);
44 void handle_read_callback(virtqueue_driver_t *vq) function
90 handle_read_callback(&read_virtqueue);
101 handle_read_callback(&read_virtqueue);

Completed in 87 milliseconds