Searched refs:data_init_data_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 | 209 data_init_data_handler(void *rpc_userptr , seL4_CPtr rpc_destDataspace , seL4_CPtr rpc_srcDataspace, function
212 assert(!"data_init_data_handler unimplemented.");
|
| /seL4-refos-master/projects/refos/impl/apps/timer_server/src/dispatchers/dspace/ |
| H A D | dspace.c | 149 data_init_data_handler(void *rpc_userptr , seL4_CPtr rpc_destDataspace , seL4_CPtr rpc_srcDataspace, function
152 assert(!"data_init_data_handler unimplemented.");
|
| /seL4-refos-master/apps/console_server/src/dispatchers/dspace/ |
| H A D | dspace.c | 209 data_init_data_handler(void *rpc_userptr , seL4_CPtr rpc_destDataspace , seL4_CPtr rpc_srcDataspace, function
212 assert(!"data_init_data_handler unimplemented.");
|
| /seL4-refos-master/apps/timer_server/src/dispatchers/dspace/ |
| H A D | dspace.c | 149 data_init_data_handler(void *rpc_userptr , seL4_CPtr rpc_destDataspace , seL4_CPtr rpc_srcDataspace, function
152 assert(!"data_init_data_handler unimplemented.");
|
| /seL4-refos-master/projects/refos/impl/apps/process_server/src/dispatchers/ |
| H A D | data_syscall.c | 271 data_init_data_handler(void *rpc_userptr , seL4_CPtr rpc_destDataspace , function
|
| /seL4-refos-master/apps/process_server/src/dispatchers/ |
| H A D | data_syscall.c | 271 data_init_data_handler(void *rpc_userptr , seL4_CPtr rpc_destDataspace , function
|
| /seL4-refos-master/projects/refos/impl/apps/file_server/src/dispatchers/ |
| H A D | cpio_dspace.c | 365 data_init_data_handler(void *rpc_userptr , seL4_CPtr rpc_destDataspace , function
374 dvprintf("data_init_data_handler: invalid cap parameters: %d 0x%x !\n",
384 ROS_ERROR("data_init_data_handler error: no such dest dataspace.");
391 ROS_ERROR("data_init_data_handler error: could not copyout src dspace cap.");
400 ROS_ERROR("data_init_data_handler error: data_have_data failed.");
|
| /seL4-refos-master/apps/file_server/src/dispatchers/ |
| H A D | cpio_dspace.c | 365 data_init_data_handler(void *rpc_userptr , seL4_CPtr rpc_destDataspace , function
374 dvprintf("data_init_data_handler: invalid cap parameters: %d 0x%x !\n",
384 ROS_ERROR("data_init_data_handler error: no such dest dataspace.");
391 ROS_ERROR("data_init_data_handler error: could not copyout src dspace cap.");
400 ROS_ERROR("data_init_data_handler error: data_have_data failed.");
|
Completed in 40 milliseconds