Searched refs:data_open_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 | 27 data_open_handler(void *rpc_userptr , char* rpc_name , int rpc_flags , int rpc_mode , int rpc_size , function
|
| /seL4-refos-master/projects/refos/impl/apps/timer_server/src/dispatchers/dspace/ |
| H A D | dspace.c | 26 data_open_handler(void *rpc_userptr , char* rpc_name , int rpc_flags , int rpc_mode , int rpc_size , function
|
| /seL4-refos-master/apps/console_server/src/dispatchers/dspace/ |
| H A D | dspace.c | 27 data_open_handler(void *rpc_userptr , char* rpc_name , int rpc_flags , int rpc_mode , int rpc_size , function
|
| /seL4-refos-master/apps/timer_server/src/dispatchers/dspace/ |
| H A D | dspace.c | 26 data_open_handler(void *rpc_userptr , char* rpc_name , int rpc_flags , int rpc_mode , int rpc_size , function
|
| /seL4-refos-master/projects/refos/impl/apps/process_server/src/dispatchers/ |
| H A D | data_syscall.c | 32 data_open_handler(void *rpc_userptr , char* rpc_name , int rpc_flags , int rpc_mode , int rpc_size , function
|
| /seL4-refos-master/apps/process_server/src/dispatchers/ |
| H A D | data_syscall.c | 32 data_open_handler(void *rpc_userptr , char* rpc_name , int rpc_flags , int rpc_mode , int rpc_size , function
|
| /seL4-refos-master/projects/refos/impl/apps/file_server/src/dispatchers/ |
| H A D | cpio_dspace.c | 59 data_open_handler(void *rpc_userptr , char* rpc_name , int rpc_flags , int rpc_mode , int rpc_size , function
120 ROS_ERROR("data_open_handler failed to allocate dataspace.");
|
| /seL4-refos-master/apps/file_server/src/dispatchers/ |
| H A D | cpio_dspace.c | 59 data_open_handler(void *rpc_userptr , char* rpc_name , int rpc_flags , int rpc_mode , int rpc_size , function
120 ROS_ERROR("data_open_handler failed to allocate dataspace.");
|
Completed in 94 milliseconds