Searched refs:rpc_c (Results 1 - 12 of 12) sorted by relevance
| /seL4-refos-master/projects/refos/impl/apps/console_server/src/dispatchers/dspace/ |
| H A D | screen_dspace.h | 31 refos_err_t screen_putc_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , int rpc_c);
|
| H A D | stdio_dspace.h | 33 refos_err_t serial_putc_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , int rpc_c);
|
| H A D | screen_dspace.c | 65 screen_putc_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , int rpc_c) argument
72 char c = (char) rpc_c;
|
| H A D | stdio_dspace.c | 77 serial_putc_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , int rpc_c) argument
80 ps_cdev_putchar(&conServ.devSerial, rpc_c);
|
| H A D | dspace.c | 157 data_putc_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , int rpc_c) argument
169 return serial_putc_handler(rpc_userptr, rpc_dspace_fd, rpc_c);
174 return screen_putc_handler(rpc_userptr, rpc_dspace_fd, rpc_c);
|
| /seL4-refos-master/apps/console_server/src/dispatchers/dspace/ |
| H A D | screen_dspace.h | 31 refos_err_t screen_putc_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , int rpc_c);
|
| H A D | stdio_dspace.h | 33 refos_err_t serial_putc_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , int rpc_c);
|
| H A D | screen_dspace.c | 65 screen_putc_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , int rpc_c) argument
72 char c = (char) rpc_c;
|
| H A D | stdio_dspace.c | 77 serial_putc_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , int rpc_c) argument
80 ps_cdev_putchar(&conServ.devSerial, rpc_c);
|
| H A D | dspace.c | 157 data_putc_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , int rpc_c) argument
169 return serial_putc_handler(rpc_userptr, rpc_dspace_fd, rpc_c);
174 return screen_putc_handler(rpc_userptr, rpc_dspace_fd, rpc_c);
|
| /seL4-refos-master/projects/refos/impl/apps/timer_server/src/dispatchers/dspace/ |
| H A D | dspace.c | 115 data_putc_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , int rpc_c) argument
|
| /seL4-refos-master/apps/timer_server/src/dispatchers/dspace/ |
| H A D | dspace.c | 115 data_putc_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , int rpc_c) argument
|
Completed in 50 milliseconds