Searched refs:check_dispatch_serv (Results 1 - 18 of 18) sorted by relevance
/seL4-refos-master/projects/refos/impl/apps/console_server/src/dispatchers/ |
H A D | serv_dispatch.h | 30 int check_dispatch_serv(srv_msg_t *m, void **userptr);
|
H A D | serv_dispatch.c | 68 check_dispatch_serv(srv_msg_t *m, void **userptr) function
|
/seL4-refos-master/projects/refos/impl/apps/file_server/src/dispatchers/ |
H A D | serv_dispatch.h | 28 int check_dispatch_serv(srv_msg_t *m, void **userptr);
|
H A D | serv_dispatch.c | 65 check_dispatch_serv(srv_msg_t *m, void **userptr) function
|
/seL4-refos-master/projects/refos/impl/apps/timer_server/src/dispatchers/ |
H A D | serv_dispatch.h | 30 int check_dispatch_serv(srv_msg_t *m, void **userptr);
|
H A D | serv_dispatch.c | 68 check_dispatch_serv(srv_msg_t *m, void **userptr) function
|
/seL4-refos-master/apps/console_server/src/dispatchers/ |
H A D | serv_dispatch.h | 30 int check_dispatch_serv(srv_msg_t *m, void **userptr);
|
H A D | serv_dispatch.c | 68 check_dispatch_serv(srv_msg_t *m, void **userptr) function
|
/seL4-refos-master/apps/file_server/src/dispatchers/ |
H A D | serv_dispatch.h | 28 int check_dispatch_serv(srv_msg_t *m, void **userptr);
|
H A D | serv_dispatch.c | 65 check_dispatch_serv(srv_msg_t *m, void **userptr) function
|
/seL4-refos-master/apps/timer_server/src/dispatchers/ |
H A D | serv_dispatch.h | 30 int check_dispatch_serv(srv_msg_t *m, void **userptr);
|
H A D | serv_dispatch.c | 68 check_dispatch_serv(srv_msg_t *m, void **userptr) function
|
/seL4-refos-master/projects/refos/impl/apps/console_server/src/ |
H A D | console_server.c | 92 if (check_dispatch_serv(msg, &userptr) == DISPATCH_SUCCESS) {
|
/seL4-refos-master/projects/refos/impl/apps/file_server/src/ |
H A D | file_server.c | 90 if (check_dispatch_serv(msg, &userptr) == DISPATCH_SUCCESS) {
|
/seL4-refos-master/projects/refos/impl/apps/timer_server/src/ |
H A D | timer_server.c | 83 if (check_dispatch_serv(msg, &userptr) == DISPATCH_SUCCESS) {
|
/seL4-refos-master/apps/console_server/src/ |
H A D | console_server.c | 92 if (check_dispatch_serv(msg, &userptr) == DISPATCH_SUCCESS) {
|
/seL4-refos-master/apps/file_server/src/ |
H A D | file_server.c | 90 if (check_dispatch_serv(msg, &userptr) == DISPATCH_SUCCESS) {
|
/seL4-refos-master/apps/timer_server/src/ |
H A D | timer_server.c | 83 if (check_dispatch_serv(msg, &userptr) == DISPATCH_SUCCESS) {
|
Completed in 103 milliseconds