| /seL4-refos-master/projects/refos/impl/apps/process_server/src/dispatchers/ |
| H A D | data_syscall.c | 42 SET_ERRNO_PTR(rpc_errno, EINVALIDPARAM);
88 ROS_ERROR("data_close EINVALIDPARAM: bad dataspace capability.\n");
94 ROS_ERROR("EINVALIDPARAM: invalid RAM dataspace badge..\n");
95 return EINVALIDPARAM;
99 ROS_ERROR("EINVALIDPARAM: dataspace not found.\n");
100 return EINVALIDPARAM;
153 ROS_ERROR("EINVALIDPARAM: invalid RAM dataspace badge..\n");
154 return EINVALIDPARAM;
158 ROS_ERROR("EINVALIDPARAM: dataspace not found.\n");
159 return EINVALIDPARAM;
[all...] |
| H A D | name_syscall.c | 37 return EINVALIDPARAM;
42 return EINVALIDPARAM;
72 return EINVALIDPARAM;
89 SET_ERRNO_PTR(rpc_errno, EINVALIDPARAM);
|
| H A D | mem_syscall.c | 39 EINVALIDPARAM will be the returned.
58 SET_ERRNO_PTR(rpc_errno, EINVALIDPARAM);
207 return EINVALIDPARAM;
213 return EINVALIDPARAM;
218 return EINVALIDPARAM;
226 return EINVALIDPARAM;
249 return EINVALIDPARAM;
255 return EINVALIDPARAM;
260 return EINVALIDPARAM;
285 return EINVALIDPARAM;
[all...] |
| H A D | proc_syscall.c | 137 return EINVALIDPARAM;
142 return EINVALIDPARAM;
149 return EINVALIDPARAM;
184 return EINVALIDPARAM;
189 return EINVALIDPARAM;
196 return EINVALIDPARAM;
226 return EINVALIDPARAM;
231 return EINVALIDPARAM;
256 return EINVALIDPARAM;
|
| /seL4-refos-master/apps/process_server/src/dispatchers/ |
| H A D | data_syscall.c | 42 SET_ERRNO_PTR(rpc_errno, EINVALIDPARAM);
88 ROS_ERROR("data_close EINVALIDPARAM: bad dataspace capability.\n");
94 ROS_ERROR("EINVALIDPARAM: invalid RAM dataspace badge..\n");
95 return EINVALIDPARAM;
99 ROS_ERROR("EINVALIDPARAM: dataspace not found.\n");
100 return EINVALIDPARAM;
153 ROS_ERROR("EINVALIDPARAM: invalid RAM dataspace badge..\n");
154 return EINVALIDPARAM;
158 ROS_ERROR("EINVALIDPARAM: dataspace not found.\n");
159 return EINVALIDPARAM;
[all...] |
| H A D | name_syscall.c | 37 return EINVALIDPARAM;
42 return EINVALIDPARAM;
72 return EINVALIDPARAM;
89 SET_ERRNO_PTR(rpc_errno, EINVALIDPARAM);
|
| H A D | mem_syscall.c | 39 EINVALIDPARAM will be the returned.
58 SET_ERRNO_PTR(rpc_errno, EINVALIDPARAM);
207 return EINVALIDPARAM;
213 return EINVALIDPARAM;
218 return EINVALIDPARAM;
226 return EINVALIDPARAM;
249 return EINVALIDPARAM;
255 return EINVALIDPARAM;
260 return EINVALIDPARAM;
285 return EINVALIDPARAM;
[all...] |
| H A D | proc_syscall.c | 137 return EINVALIDPARAM;
142 return EINVALIDPARAM;
149 return EINVALIDPARAM;
184 return EINVALIDPARAM;
189 return EINVALIDPARAM;
196 return EINVALIDPARAM;
226 return EINVALIDPARAM;
231 return EINVALIDPARAM;
256 return EINVALIDPARAM;
|
| /seL4-refos-master/libs/librefos/include/refos/ |
| H A D | error.h | 39 EINVALIDPARAM, enumerator in enum:refos_error
97 case EINVALIDPARAM:
98 return "EINVALIDPARAM";
|
| /seL4-refos-master/projects/refos/impl/apps/timer_server/src/dispatchers/dspace/ |
| H A D | timer_dspace.c | 49 return -EINVALIDPARAM;
68 return -EINVALIDPARAM;
|
| H A D | dspace.c | 51 return EINVALIDPARAM;
71 return -EINVALIDPARAM;
91 return -EINVALIDPARAM;
|
| /seL4-refos-master/projects/refos/impl/libs/librefos/include/refos/ |
| H A D | error.h | 39 EINVALIDPARAM, enumerator in enum:refos_error
97 case EINVALIDPARAM:
98 return "EINVALIDPARAM";
|
| /seL4-refos-master/apps/timer_server/src/dispatchers/dspace/ |
| H A D | timer_dspace.c | 49 return -EINVALIDPARAM;
68 return -EINVALIDPARAM;
|
| H A D | dspace.c | 51 return EINVALIDPARAM;
71 return -EINVALIDPARAM;
91 return -EINVALIDPARAM;
|
| /seL4-refos-master/projects/refos/impl/apps/file_server/src/dispatchers/ |
| H A D | cpio_dspace.c | 66 SET_ERRNO_PTR(rpc_errno, EINVALIDPARAM);
142 dprintf("data_close_handler EINVALIDPARAM: bad caps.\n");
143 return EINVALIDPARAM;
148 return EINVALIDPARAM;
168 dprintf("data_read_handler EINVALIDPARAM: bad caps.\n");
169 return EINVALIDPARAM;
199 dprintf("data_write_handler EINVALIDPARAM: bad caps.\n");
200 return -EINVALIDPARAM;
258 dprintf("data_get_size_handler EINVALIDPARAM: bad caps.\n");
288 return EINVALIDPARAM;
[all...] |
| /seL4-refos-master/apps/file_server/src/dispatchers/ |
| H A D | cpio_dspace.c | 66 SET_ERRNO_PTR(rpc_errno, EINVALIDPARAM);
142 dprintf("data_close_handler EINVALIDPARAM: bad caps.\n");
143 return EINVALIDPARAM;
148 return EINVALIDPARAM;
168 dprintf("data_read_handler EINVALIDPARAM: bad caps.\n");
169 return EINVALIDPARAM;
199 dprintf("data_write_handler EINVALIDPARAM: bad caps.\n");
200 return -EINVALIDPARAM;
258 dprintf("data_get_size_handler EINVALIDPARAM: bad caps.\n");
288 return EINVALIDPARAM;
[all...] |
| /seL4-refos-master/projects/refos/impl/apps/console_server/src/dispatchers/dspace/ |
| H A D | dspace.c | 58 return EINVALIDPARAM;
83 return -EINVALIDPARAM;
108 return -EINVALIDPARAM;
164 return EINVALIDPARAM;
|
| /seL4-refos-master/apps/console_server/src/dispatchers/dspace/ |
| H A D | dspace.c | 58 return EINVALIDPARAM;
83 return -EINVALIDPARAM;
108 return -EINVALIDPARAM;
164 return EINVALIDPARAM;
|
| /seL4-refos-master/projects/refos/impl/apps/process_server/src/system/process/ |
| H A D | thread.c | 25 return EINVALIDPARAM;
|
| /seL4-refos-master/apps/process_server/src/system/process/ |
| H A D | thread.c | 25 return EINVALIDPARAM;
|
| /seL4-refos-master/libs/librefossys/src/refos-io/ |
| H A D | mmap_segment.c | 203 return EINVALIDPARAM;
207 return EINVALIDPARAM;
|
| /seL4-refos-master/projects/refos/impl/libs/librefossys/src/refos-io/ |
| H A D | mmap_segment.c | 203 return EINVALIDPARAM;
207 return EINVALIDPARAM;
|
| /seL4-refos-master/libs/librefos/src/refos-rpc/ |
| H A D | name_client_helper.c | 66 REFOS_SET_ERRNO(EINVALIDPARAM);
|
| /seL4-refos-master/projects/refos/impl/libs/librefos/src/refos-rpc/ |
| H A D | name_client_helper.c | 66 REFOS_SET_ERRNO(EINVALIDPARAM);
|
| /seL4-refos-master/projects/refos/impl/apps/process_server/src/system/memserv/ |
| H A D | dataspace.c | 348 return EINVALIDPARAM;
495 return EINVALIDPARAM;
526 return EINVALIDPARAM;
625 return -EINVALIDPARAM;
643 return EINVALIDPARAM;
646 return EINVALIDPARAM;
|