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

/seL4-camkes-master/projects/camkes/apps/serialserver_loopback/components/Client/src/
H A Dclient.c98 void serial_read_wait_callback(void) function
/seL4-camkes-master/projects/global-components/components/SerialServer/src/
H A Dserver_virtqueue.c141 void serial_read_wait_callback(void) function

Completed in 40 milliseconds