Searched refs:data_provide_data_from_parambuffer_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 | 232 data_provide_data_from_parambuffer_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , function 235 assert(!"data_provide_data_from_parambuffer_handler unimplemented.");
|
/seL4-refos-master/projects/refos/impl/apps/timer_server/src/dispatchers/dspace/ |
H A D | dspace.c | 172 data_provide_data_from_parambuffer_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , function 175 assert(!"data_provide_data_from_parambuffer_handler unimplemented.");
|
/seL4-refos-master/apps/console_server/src/dispatchers/dspace/ |
H A D | dspace.c | 232 data_provide_data_from_parambuffer_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , function 235 assert(!"data_provide_data_from_parambuffer_handler unimplemented.");
|
/seL4-refos-master/apps/timer_server/src/dispatchers/dspace/ |
H A D | dspace.c | 172 data_provide_data_from_parambuffer_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , function 175 assert(!"data_provide_data_from_parambuffer_handler unimplemented.");
|
/seL4-refos-master/projects/refos/impl/apps/process_server/src/dispatchers/ |
H A D | data_syscall.c | 352 data_provide_data_from_parambuffer_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , function 376 ROS_WARNING("data_provide_data_from_parambuffer_handler: failed to read from paramBuffer.");
|
/seL4-refos-master/apps/process_server/src/dispatchers/ |
H A D | data_syscall.c | 352 data_provide_data_from_parambuffer_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , function 376 ROS_WARNING("data_provide_data_from_parambuffer_handler: failed to read from paramBuffer.");
|
/seL4-refos-master/projects/refos/impl/apps/file_server/src/dispatchers/ |
H A D | cpio_dspace.c | 434 data_provide_data_from_parambuffer_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , function
|
/seL4-refos-master/apps/file_server/src/dispatchers/ |
H A D | cpio_dspace.c | 434 data_provide_data_from_parambuffer_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , function
|
Completed in 40 milliseconds