Searched refs:data_putc_handler (Results 1 - 4 of 4) sorted by relevance

/seL4-refos-master/projects/refos/impl/apps/console_server/src/dispatchers/dspace/
H A Ddspace.c157 data_putc_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , int rpc_c) function
/seL4-refos-master/projects/refos/impl/apps/timer_server/src/dispatchers/dspace/
H A Ddspace.c115 data_putc_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , int rpc_c) function
/seL4-refos-master/apps/console_server/src/dispatchers/dspace/
H A Ddspace.c157 data_putc_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , int rpc_c) function
/seL4-refos-master/apps/timer_server/src/dispatchers/dspace/
H A Ddspace.c115 data_putc_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , int rpc_c) function

Completed in 33 milliseconds