Searched refs:write_output (Results 1 - 1 of 1) sorted by relevance
/seL4-camkes-master/projects/camkes/apps/serialserver_loopback/components/Client/src/ | ||
H A D | client.c | 21 void write_output(char *write_data, size_t write_data_size) function 62 write_output(buf, len); |
Completed in 70 milliseconds