Searched refs:data_read_handler (Results 1 - 6 of 6) sorted by relevance
| /seL4-refos-master/projects/refos/impl/apps/console_server/src/dispatchers/dspace/ |
| H A D | dspace.c | 75 data_read_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , uint32_t rpc_offset , function
|
| /seL4-refos-master/projects/refos/impl/apps/timer_server/src/dispatchers/dspace/ |
| H A D | dspace.c | 63 data_read_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , uint32_t rpc_offset , function
|
| /seL4-refos-master/apps/console_server/src/dispatchers/dspace/ |
| H A D | dspace.c | 75 data_read_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , uint32_t rpc_offset , function
|
| /seL4-refos-master/apps/timer_server/src/dispatchers/dspace/ |
| H A D | dspace.c | 63 data_read_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , uint32_t rpc_offset , function
|
| /seL4-refos-master/projects/refos/impl/apps/file_server/src/dispatchers/ |
| H A D | cpio_dspace.c | 158 data_read_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , uint32_t rpc_offset , function
168 dprintf("data_read_handler EINVALIDPARAM: bad caps.\n");
174 ROS_WARNING("data_read_handler: no such dataspace.");
|
| /seL4-refos-master/apps/file_server/src/dispatchers/ |
| H A D | cpio_dspace.c | 158 data_read_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , uint32_t rpc_offset , function
168 dprintf("data_read_handler EINVALIDPARAM: bad caps.\n");
174 ROS_WARNING("data_read_handler: no such dataspace.");
|
Completed in 87 milliseconds