| /seL4-refos-master/projects/refos/impl/apps/console_server/src/dispatchers/dspace/ |
| H A D | screen_dspace.h | 28 int screen_getc_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , int rpc_block);
|
| H A D | stdio_dspace.h | 30 int serial_getc_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , int rpc_block);
|
| H A D | screen_dspace.c | 59 screen_getc_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , int rpc_block) argument
61 return serial_getc_handler(rpc_userptr, rpc_dspace_fd, rpc_block);
|
| H A D | stdio_dspace.c | 51 serial_getc_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , int rpc_block) argument
61 if (rpc_block) {
|
| H A D | dspace.c | 125 data_getc_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , int rpc_block) argument
139 return serial_getc_handler(rpc_userptr, rpc_dspace_fd, rpc_block);
144 return screen_getc_handler(rpc_userptr, rpc_dspace_fd, rpc_block);
|
| /seL4-refos-master/apps/console_server/src/dispatchers/dspace/ |
| H A D | screen_dspace.h | 28 int screen_getc_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , int rpc_block);
|
| H A D | stdio_dspace.h | 30 int serial_getc_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , int rpc_block);
|
| H A D | screen_dspace.c | 59 screen_getc_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , int rpc_block) argument
61 return serial_getc_handler(rpc_userptr, rpc_dspace_fd, rpc_block);
|
| H A D | stdio_dspace.c | 51 serial_getc_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , int rpc_block) argument
61 if (rpc_block) {
|
| H A D | dspace.c | 125 data_getc_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , int rpc_block) argument
139 return serial_getc_handler(rpc_userptr, rpc_dspace_fd, rpc_block);
144 return screen_getc_handler(rpc_userptr, rpc_dspace_fd, rpc_block);
|
| /seL4-refos-master/projects/refos/impl/apps/process_server/src/dispatchers/ |
| H A D | proc_syscall.c | 249 proc_new_proc_handler(void *rpc_userptr , char* rpc_name , char* rpc_params , bool rpc_block ,
267 if (rpc_block) {
|
| H A D | data_syscall.c | 121 data_getc_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , int rpc_block) argument
|
| /seL4-refos-master/apps/process_server/src/dispatchers/ |
| H A D | proc_syscall.c | 249 proc_new_proc_handler(void *rpc_userptr , char* rpc_name , char* rpc_params , bool rpc_block ,
267 if (rpc_block) {
|
| H A D | data_syscall.c | 121 data_getc_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , int rpc_block) argument
|
| /seL4-refos-master/projects/refos/impl/apps/timer_server/src/dispatchers/dspace/ |
| H A D | dspace.c | 103 data_getc_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , int rpc_block) argument
|
| /seL4-refos-master/apps/timer_server/src/dispatchers/dspace/ |
| H A D | dspace.c | 103 data_getc_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , int rpc_block) argument
|
| /seL4-refos-master/projects/refos/impl/apps/file_server/src/dispatchers/ |
| H A D | cpio_dspace.c | 235 data_getc_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , int rpc_block) argument
|
| /seL4-refos-master/apps/file_server/src/dispatchers/ |
| H A D | cpio_dspace.c | 235 data_getc_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , int rpc_block) argument
|