Searched refs:serial_server_func_kill (Results 1 - 1 of 1) sorted by relevance
/seL4-test-master/projects/seL4_libs/libsel4serialserver/src/ | ||
H A D | server.c | 398 static void serial_server_func_kill(void) function 584 serial_server_func_kill(); |
Completed in 23 milliseconds