| /seL4-refos-master/projects/refos/impl/apps/file_server/src/dispatchers/ |
| H A D | dispatch.h | 22 #define SET_ERRNO_PTR(e, ev) if (e) {(*e) = (ev);} macro
|
| H A D | cpio_dspace.c | 66 SET_ERRNO_PTR(rpc_errno, EINVALIDPARAM);
78 SET_ERRNO_PTR(rpc_errno, EACCESSDENIED);
101 SET_ERRNO_PTR(rpc_errno, EFILENOTFOUND);
106 SET_ERRNO_PTR(rpc_errno, EACCESSDENIED);
121 SET_ERRNO_PTR(rpc_errno, ENOMEM);
127 SET_ERRNO_PTR(rpc_errno, ESUCCESS);
|
| /seL4-refos-master/apps/file_server/src/dispatchers/ |
| H A D | dispatch.h | 22 #define SET_ERRNO_PTR(e, ev) if (e) {(*e) = (ev);} macro
|
| H A D | cpio_dspace.c | 66 SET_ERRNO_PTR(rpc_errno, EINVALIDPARAM);
78 SET_ERRNO_PTR(rpc_errno, EACCESSDENIED);
101 SET_ERRNO_PTR(rpc_errno, EFILENOTFOUND);
106 SET_ERRNO_PTR(rpc_errno, EACCESSDENIED);
121 SET_ERRNO_PTR(rpc_errno, ENOMEM);
127 SET_ERRNO_PTR(rpc_errno, ESUCCESS);
|
| /seL4-refos-master/projects/refos/impl/apps/console_server/src/dispatchers/dspace/ |
| H A D | screen_dspace.c | 38 SET_ERRNO_PTR(rpc_errno, ESUCCESS);
41 SET_ERRNO_PTR(rpc_errno, EFILENOTFOUND);
|
| H A D | stdio_dspace.c | 35 SET_ERRNO_PTR(rpc_errno, ESUCCESS);
|
| H A D | dspace.c | 31 SET_ERRNO_PTR(rpc_errno, EFILENOTFOUND);
45 SET_ERRNO_PTR(rpc_errno, EFILENOTFOUND);
|
| /seL4-refos-master/apps/console_server/src/dispatchers/dspace/ |
| H A D | screen_dspace.c | 38 SET_ERRNO_PTR(rpc_errno, ESUCCESS);
41 SET_ERRNO_PTR(rpc_errno, EFILENOTFOUND);
|
| H A D | stdio_dspace.c | 35 SET_ERRNO_PTR(rpc_errno, ESUCCESS);
|
| H A D | dspace.c | 31 SET_ERRNO_PTR(rpc_errno, EFILENOTFOUND);
45 SET_ERRNO_PTR(rpc_errno, EFILENOTFOUND);
|
| /seL4-refos-master/projects/refos/impl/apps/process_server/src/dispatchers/ |
| H A D | name_syscall.c | 89 SET_ERRNO_PTR(rpc_errno, EINVALIDPARAM);
100 SET_ERRNO_PTR(rpc_errno, ESUCCESS);
|
| H A D | mem_syscall.c | 58 SET_ERRNO_PTR(rpc_errno, EINVALIDPARAM);
69 SET_ERRNO_PTR(rpc_errno, error);
78 SET_ERRNO_PTR(rpc_errno, EINVALID);
84 SET_ERRNO_PTR(rpc_errno, ESUCCESS);
163 SET_ERRNO_PTR(rpc_errno, EINVALIDWINDOW);
168 SET_ERRNO_PTR(rpc_errno, EINVALIDWINDOW);
176 SET_ERRNO_PTR(rpc_errno, EINVALIDWINDOW);
181 SET_ERRNO_PTR(rpc_errno, ESUCCESS);
186 SET_ERRNO_PTR(rpc_errno, ESUCCESS);
|
| H A D | proc_syscall.c | 100 SET_ERRNO_PTR(rpc_errno, ENOMEM);
103 SET_ERRNO_PTR(rpc_errno, ESUCCESS);
116 SET_ERRNO_PTR(rpc_errno, ENOMEM);
119 SET_ERRNO_PTR(rpc_errno, ESUCCESS);
301 SET_ERRNO_PTR(rpc_errno, error);
|
| H A D | dispatcher.h | 44 #define SET_ERRNO_PTR(e, ev) if (e) {(*e) = (ev);} macro
|
| H A D | data_syscall.c | 42 SET_ERRNO_PTR(rpc_errno, EINVALIDPARAM);
49 SET_ERRNO_PTR(rpc_errno, EFILENOTFOUND);
58 SET_ERRNO_PTR(rpc_errno, ENOMEM);
70 SET_ERRNO_PTR(rpc_errno, error);
75 SET_ERRNO_PTR(rpc_errno, ESUCCESS);
|
| /seL4-refos-master/apps/process_server/src/dispatchers/ |
| H A D | name_syscall.c | 89 SET_ERRNO_PTR(rpc_errno, EINVALIDPARAM);
100 SET_ERRNO_PTR(rpc_errno, ESUCCESS);
|
| H A D | mem_syscall.c | 58 SET_ERRNO_PTR(rpc_errno, EINVALIDPARAM);
69 SET_ERRNO_PTR(rpc_errno, error);
78 SET_ERRNO_PTR(rpc_errno, EINVALID);
84 SET_ERRNO_PTR(rpc_errno, ESUCCESS);
163 SET_ERRNO_PTR(rpc_errno, EINVALIDWINDOW);
168 SET_ERRNO_PTR(rpc_errno, EINVALIDWINDOW);
176 SET_ERRNO_PTR(rpc_errno, EINVALIDWINDOW);
181 SET_ERRNO_PTR(rpc_errno, ESUCCESS);
186 SET_ERRNO_PTR(rpc_errno, ESUCCESS);
|
| H A D | proc_syscall.c | 100 SET_ERRNO_PTR(rpc_errno, ENOMEM);
103 SET_ERRNO_PTR(rpc_errno, ESUCCESS);
116 SET_ERRNO_PTR(rpc_errno, ENOMEM);
119 SET_ERRNO_PTR(rpc_errno, ESUCCESS);
301 SET_ERRNO_PTR(rpc_errno, error);
|
| H A D | dispatcher.h | 44 #define SET_ERRNO_PTR(e, ev) if (e) {(*e) = (ev);} macro
|
| H A D | data_syscall.c | 42 SET_ERRNO_PTR(rpc_errno, EINVALIDPARAM);
49 SET_ERRNO_PTR(rpc_errno, EFILENOTFOUND);
58 SET_ERRNO_PTR(rpc_errno, ENOMEM);
70 SET_ERRNO_PTR(rpc_errno, error);
75 SET_ERRNO_PTR(rpc_errno, ESUCCESS);
|
| /seL4-refos-master/libs/librefos/include/refos-util/ |
| H A D | serv_common.h | 46 #ifndef SET_ERRNO_PTR
47 #define SET_ERRNO_PTR(e, ev) if (e) {(*e) = (ev);} macro
|
| /seL4-refos-master/projects/refos/impl/libs/librefos/include/refos-util/ |
| H A D | serv_common.h | 46 #ifndef SET_ERRNO_PTR
47 #define SET_ERRNO_PTR(e, ev) if (e) {(*e) = (ev);} macro
|
| /seL4-refos-master/projects/refos/impl/apps/timer_server/src/dispatchers/dspace/ |
| H A D | timer_dspace.c | 36 SET_ERRNO_PTR(rpc_errno, ESUCCESS);
|
| H A D | dspace.c | 30 SET_ERRNO_PTR(rpc_errno, EFILENOTFOUND);
39 SET_ERRNO_PTR(rpc_errno, EFILENOTFOUND);
|
| /seL4-refos-master/apps/timer_server/src/dispatchers/dspace/ |
| H A D | timer_dspace.c | 36 SET_ERRNO_PTR(rpc_errno, ESUCCESS);
|