Searched refs:srv_msg_t (Results 1 - 25 of 62) sorted by relevance
123
/seL4-refos-master/projects/refos/impl/apps/console_server/src/dispatchers/ |
H A D | client_watch.h | 27 int dispatch_client_watch(srv_msg_t *m);
|
H A D | dispatch.h | 36 int check_dispatch_interface(srv_msg_t *m, void **userptr, int labelMin, int labelMax);
|
H A D | serv_dispatch.h | 30 int check_dispatch_serv(srv_msg_t *m, void **userptr);
|
H A D | serv_dispatch.c | 33 srv_msg_t *m = (srv_msg_t *) anonc->rpcClient.userptr; 52 srv_msg_t *m = (srv_msg_t *) c->rpcClient.userptr; 68 check_dispatch_serv(srv_msg_t *m, void **userptr)
|
/seL4-refos-master/projects/refos/impl/apps/file_server/src/dispatchers/ |
H A D | fault_notify.h | 27 int dispatch_notification(srv_msg_t *m);
|
H A D | cpio_dspace.h | 30 int check_dispatch_data(srv_msg_t *m, void **userptr);
|
H A D | serv_dispatch.h | 28 int check_dispatch_serv(srv_msg_t *m, void **userptr);
|
H A D | dispatch.h | 37 int check_dispatch_interface(srv_msg_t *m, void **userptr, int labelMin, int labelMax);
|
/seL4-refos-master/projects/refos/impl/apps/timer_server/src/dispatchers/ |
H A D | client_watch.h | 27 int dispatch_client_watch(srv_msg_t *m);
|
H A D | dispatch.h | 36 int check_dispatch_interface(srv_msg_t *m, void **userptr, int labelMin, int labelMax);
|
H A D | serv_dispatch.h | 30 int check_dispatch_serv(srv_msg_t *m, void **userptr);
|
/seL4-refos-master/apps/console_server/src/dispatchers/ |
H A D | client_watch.h | 27 int dispatch_client_watch(srv_msg_t *m);
|
H A D | dispatch.h | 36 int check_dispatch_interface(srv_msg_t *m, void **userptr, int labelMin, int labelMax);
|
H A D | serv_dispatch.h | 30 int check_dispatch_serv(srv_msg_t *m, void **userptr);
|
/seL4-refos-master/apps/file_server/src/dispatchers/ |
H A D | fault_notify.h | 27 int dispatch_notification(srv_msg_t *m);
|
H A D | cpio_dspace.h | 30 int check_dispatch_data(srv_msg_t *m, void **userptr);
|
H A D | serv_dispatch.h | 28 int check_dispatch_serv(srv_msg_t *m, void **userptr);
|
H A D | dispatch.h | 37 int check_dispatch_interface(srv_msg_t *m, void **userptr, int labelMin, int labelMax);
|
/seL4-refos-master/apps/timer_server/src/dispatchers/ |
H A D | client_watch.h | 27 int dispatch_client_watch(srv_msg_t *m);
|
H A D | dispatch.h | 36 int check_dispatch_interface(srv_msg_t *m, void **userptr, int labelMin, int labelMax);
|
H A D | serv_dispatch.h | 30 int check_dispatch_serv(srv_msg_t *m, void **userptr);
|
/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);
|
/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);
|
/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);
|
/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);
|
Completed in 96 milliseconds
123