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

/seL4-test-master/projects/seL4_libs/libsel4serialserver/src/
H A Dserial_server.h141 void serial_server_main(void);
H A Dparentapi.c127 (sel4utils_thread_entry_fn)&serial_server_main,
H A Dserver.c444 void serial_server_main(void) function

Completed in 50 milliseconds