Searched refs:check_dispatch_data (Results 1 - 18 of 18) sorted by relevance
/seL4-refos-master/projects/refos/impl/apps/file_server/src/dispatchers/ |
H A D | cpio_dspace.h | 30 int check_dispatch_data(srv_msg_t *m, void **userptr);
|
H A D | cpio_dspace.c | 442 check_dispatch_data(srv_msg_t *m, void **userptr) function
|
/seL4-refos-master/apps/file_server/src/dispatchers/ |
H A D | cpio_dspace.h | 30 int check_dispatch_data(srv_msg_t *m, void **userptr);
|
H A D | cpio_dspace.c | 442 check_dispatch_data(srv_msg_t *m, void **userptr) function
|
/seL4-refos-master/projects/refos/impl/apps/console_server/src/dispatchers/dspace/ |
H A D | dspace.h | 31 int check_dispatch_data(srv_msg_t *m, void **userptr);
|
H A D | dspace.c | 240 check_dispatch_data(srv_msg_t *m, void **userptr) function
|
/seL4-refos-master/projects/refos/impl/apps/timer_server/src/dispatchers/dspace/ |
H A D | dspace.h | 31 int check_dispatch_data(srv_msg_t *m, void **userptr);
|
H A D | dspace.c | 180 check_dispatch_data(srv_msg_t *m, void **userptr) function
|
/seL4-refos-master/apps/console_server/src/dispatchers/dspace/ |
H A D | dspace.h | 31 int check_dispatch_data(srv_msg_t *m, void **userptr);
|
H A D | dspace.c | 240 check_dispatch_data(srv_msg_t *m, void **userptr) function
|
/seL4-refos-master/apps/timer_server/src/dispatchers/dspace/ |
H A D | dspace.h | 31 int check_dispatch_data(srv_msg_t *m, void **userptr);
|
H A D | dspace.c | 180 check_dispatch_data(srv_msg_t *m, void **userptr) function
|
/seL4-refos-master/projects/refos/impl/apps/console_server/src/ |
H A D | console_server.c | 86 if (check_dispatch_data(msg, &userptr) == DISPATCH_SUCCESS) {
|
/seL4-refos-master/projects/refos/impl/apps/file_server/src/ |
H A D | file_server.c | 96 if (check_dispatch_data(msg, &userptr) == DISPATCH_SUCCESS) {
|
/seL4-refos-master/projects/refos/impl/apps/timer_server/src/ |
H A D | timer_server.c | 77 if (check_dispatch_data(msg, &userptr) == DISPATCH_SUCCESS) {
|
/seL4-refos-master/apps/console_server/src/ |
H A D | console_server.c | 86 if (check_dispatch_data(msg, &userptr) == DISPATCH_SUCCESS) {
|
/seL4-refos-master/apps/file_server/src/ |
H A D | file_server.c | 96 if (check_dispatch_data(msg, &userptr) == DISPATCH_SUCCESS) {
|
/seL4-refos-master/apps/timer_server/src/ |
H A D | timer_server.c | 77 if (check_dispatch_data(msg, &userptr) == DISPATCH_SUCCESS) {
|
Completed in 111 milliseconds