Searched defs:serial_getc_handler (Results 1 - 2 of 2) sorted by relevance

/seL4-refos-master/projects/refos/impl/apps/console_server/src/dispatchers/dspace/
H A Dstdio_dspace.c51 serial_getc_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , int rpc_block) function
/seL4-refos-master/apps/console_server/src/dispatchers/dspace/
H A Dstdio_dspace.c51 serial_getc_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , int rpc_block) function

Completed in 29 milliseconds