Searched defs:labelMin (Results 1 - 8 of 8) sorted by relevance
| /seL4-refos-master/projects/refos/impl/apps/console_server/src/dispatchers/ |
| H A D | dispatch.c | 28 check_dispatch_interface(srv_msg_t *m, void **userptr, int labelMin, int labelMax) argument
|
| /seL4-refos-master/projects/refos/impl/apps/file_server/src/dispatchers/ |
| H A D | dispatch.c | 28 check_dispatch_interface(srv_msg_t *m, void **userptr, int labelMin, int labelMax) argument
|
| /seL4-refos-master/projects/refos/impl/apps/timer_server/src/dispatchers/ |
| H A D | dispatch.c | 28 check_dispatch_interface(srv_msg_t *m, void **userptr, int labelMin, int labelMax) argument
|
| /seL4-refos-master/apps/console_server/src/dispatchers/ |
| H A D | dispatch.c | 28 check_dispatch_interface(srv_msg_t *m, void **userptr, int labelMin, int labelMax) argument
|
| /seL4-refos-master/apps/file_server/src/dispatchers/ |
| H A D | dispatch.c | 28 check_dispatch_interface(srv_msg_t *m, void **userptr, int labelMin, int labelMax) argument
|
| /seL4-refos-master/apps/timer_server/src/dispatchers/ |
| H A D | dispatch.c | 28 check_dispatch_interface(srv_msg_t *m, void **userptr, int labelMin, int labelMax) argument
|
| /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
|
| /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
|
Completed in 97 milliseconds