| /seL4-refos-master/projects/refos/impl/apps/console_server/src/dispatchers/ |
| H A D | dispatch.h | 33 @param labelMin The minimum syscall label to accept.
36 int check_dispatch_interface(srv_msg_t *m, void **userptr, int labelMin, int labelMax);
|
| H A D | dispatch.c | 28 check_dispatch_interface(srv_msg_t *m, void **userptr, int labelMin, int labelMax) argument
53 if (syscallFunc <= labelMin || syscallFunc >= labelMax) {
|
| /seL4-refos-master/projects/refos/impl/apps/timer_server/src/dispatchers/ |
| H A D | dispatch.h | 33 @param labelMin The minimum syscall label to accept.
36 int check_dispatch_interface(srv_msg_t *m, void **userptr, int labelMin, int labelMax);
|
| H A D | dispatch.c | 28 check_dispatch_interface(srv_msg_t *m, void **userptr, int labelMin, int labelMax) argument
53 if (syscallFunc <= labelMin || syscallFunc >= labelMax) {
|
| /seL4-refos-master/apps/console_server/src/dispatchers/ |
| H A D | dispatch.h | 33 @param labelMin The minimum syscall label to accept.
36 int check_dispatch_interface(srv_msg_t *m, void **userptr, int labelMin, int labelMax);
|
| H A D | dispatch.c | 28 check_dispatch_interface(srv_msg_t *m, void **userptr, int labelMin, int labelMax) argument
53 if (syscallFunc <= labelMin || syscallFunc >= labelMax) {
|
| /seL4-refos-master/apps/timer_server/src/dispatchers/ |
| H A D | dispatch.h | 33 @param labelMin The minimum syscall label to accept.
36 int check_dispatch_interface(srv_msg_t *m, void **userptr, int labelMin, int labelMax);
|
| H A D | dispatch.c | 28 check_dispatch_interface(srv_msg_t *m, void **userptr, int labelMin, int labelMax) argument
53 if (syscallFunc <= labelMin || syscallFunc >= labelMax) {
|
| /seL4-refos-master/projects/refos/impl/apps/file_server/src/dispatchers/ |
| H A D | dispatch.h | 34 @param labelMin The minimum syscall label to accept.
37 int check_dispatch_interface(srv_msg_t *m, void **userptr, int labelMin, int labelMax);
|
| H A D | dispatch.c | 28 check_dispatch_interface(srv_msg_t *m, void **userptr, int labelMin, int labelMax) argument
53 if (syscallFunc <= labelMin || syscallFunc >= labelMax) {
|
| /seL4-refos-master/apps/file_server/src/dispatchers/ |
| H A D | dispatch.h | 34 @param labelMin The minimum syscall label to accept.
37 int check_dispatch_interface(srv_msg_t *m, void **userptr, int labelMin, int labelMax);
|
| H A D | dispatch.c | 28 check_dispatch_interface(srv_msg_t *m, void **userptr, int labelMin, int labelMax) argument
53 if (syscallFunc <= labelMin || syscallFunc >= labelMax) {
|
| /seL4-refos-master/projects/refos/impl/apps/process_server/src/dispatchers/ |
| H A D | dispatcher.c | 28 check_dispatch_interface(struct procserv_msg *m, void **userptr, int labelMin, int labelMax) argument
44 if (syscallFunc <= labelMin || syscallFunc >= labelMax) {
|
| H A D | dispatcher.h | 108 @param labelMin The minimum syscall label to accept.
111 int check_dispatch_interface(struct procserv_msg *m, void **userptr, int labelMin, int labelMax);
|
| /seL4-refos-master/apps/process_server/src/dispatchers/ |
| H A D | dispatcher.c | 28 check_dispatch_interface(struct procserv_msg *m, void **userptr, int labelMin, int labelMax) argument
44 if (syscallFunc <= labelMin || syscallFunc >= labelMax) {
|
| H A D | dispatcher.h | 108 @param labelMin The minimum syscall label to accept.
111 int check_dispatch_interface(struct procserv_msg *m, void **userptr, int labelMin, int labelMax);
|