Searched refs:data_datamap_handler (Results 1 - 8 of 8) sorted by relevance
| /seL4-refos-master/projects/refos/impl/apps/console_server/src/dispatchers/dspace/ |
| H A D | dspace.c | 194 data_datamap_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , seL4_CPtr rpc_memoryWindow , function
197 assert(!"data_datamap_handler unimplemented.");
|
| /seL4-refos-master/projects/refos/impl/apps/timer_server/src/dispatchers/dspace/ |
| H A D | dspace.c | 134 data_datamap_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , seL4_CPtr rpc_memoryWindow , function
137 assert(!"data_datamap_handler unimplemented.");
|
| /seL4-refos-master/apps/console_server/src/dispatchers/dspace/ |
| H A D | dspace.c | 194 data_datamap_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , seL4_CPtr rpc_memoryWindow , function
197 assert(!"data_datamap_handler unimplemented.");
|
| /seL4-refos-master/apps/timer_server/src/dispatchers/dspace/ |
| H A D | dspace.c | 134 data_datamap_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , seL4_CPtr rpc_memoryWindow , function
137 assert(!"data_datamap_handler unimplemented.");
|
| /seL4-refos-master/projects/refos/impl/apps/process_server/src/dispatchers/ |
| H A D | data_syscall.c | 192 data_datamap_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , seL4_CPtr rpc_memoryWindow, function
|
| /seL4-refos-master/apps/process_server/src/dispatchers/ |
| H A D | data_syscall.c | 192 data_datamap_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , seL4_CPtr rpc_memoryWindow, function
|
| /seL4-refos-master/projects/refos/impl/apps/file_server/src/dispatchers/ |
| H A D | cpio_dspace.c | 279 data_datamap_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , seL4_CPtr rpc_memoryWindow , function
296 ROS_ERROR("data_datamap_handler error: no such dataspace.");
303 ROS_ERROR("data_datamap_handler error: invalid memory window.");
313 ROS_ERROR("data_datamap_handler error: failed to register as pager.");
345 ROS_ERROR("data_datamap_handler error: invalid memory window.");
351 ROS_ERROR("data_datamap_handler error: invalid memory window ID.");
|
| /seL4-refos-master/apps/file_server/src/dispatchers/ |
| H A D | cpio_dspace.c | 279 data_datamap_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , seL4_CPtr rpc_memoryWindow , function
296 ROS_ERROR("data_datamap_handler error: no such dataspace.");
303 ROS_ERROR("data_datamap_handler error: invalid memory window.");
313 ROS_ERROR("data_datamap_handler error: failed to register as pager.");
345 ROS_ERROR("data_datamap_handler error: invalid memory window.");
351 ROS_ERROR("data_datamap_handler error: invalid memory window ID.");
|
Completed in 47 milliseconds