Searched refs:data_write_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 | 100 data_write_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 | 83 data_write_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 | 100 data_write_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 | 83 data_write_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 | 189 data_write_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , uint32_t rpc_offset , function
199 dprintf("data_write_handler EINVALIDPARAM: bad caps.\n");
205 ROS_WARNING("data_write_handler: no such dataspace.");
213 ROS_WARNING("data_write_handler: Tried to write to a read only CPIO file %d.", dspace->dID);
|
| /seL4-refos-master/apps/file_server/src/dispatchers/ |
| H A D | cpio_dspace.c | 189 data_write_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , uint32_t rpc_offset , function
199 dprintf("data_write_handler EINVALIDPARAM: bad caps.\n");
205 ROS_WARNING("data_write_handler: no such dataspace.");
213 ROS_WARNING("data_write_handler: Tried to write to a read only CPIO file %d.", dspace->dID);
|
Completed in 85 milliseconds