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 Dclient_watch.h27 int dispatch_client_watch(srv_msg_t *m);
H A Ddispatch.h36 int check_dispatch_interface(srv_msg_t *m, void **userptr, int labelMin, int labelMax);
H A Dserv_dispatch.h30 int check_dispatch_serv(srv_msg_t *m, void **userptr);
H A Dserv_dispatch.c33 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 Dfault_notify.h27 int dispatch_notification(srv_msg_t *m);
H A Dcpio_dspace.h30 int check_dispatch_data(srv_msg_t *m, void **userptr);
H A Dserv_dispatch.h28 int check_dispatch_serv(srv_msg_t *m, void **userptr);
H A Ddispatch.h37 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 Dclient_watch.h27 int dispatch_client_watch(srv_msg_t *m);
H A Ddispatch.h36 int check_dispatch_interface(srv_msg_t *m, void **userptr, int labelMin, int labelMax);
H A Dserv_dispatch.h30 int check_dispatch_serv(srv_msg_t *m, void **userptr);
/seL4-refos-master/apps/console_server/src/dispatchers/
H A Dclient_watch.h27 int dispatch_client_watch(srv_msg_t *m);
H A Ddispatch.h36 int check_dispatch_interface(srv_msg_t *m, void **userptr, int labelMin, int labelMax);
H A Dserv_dispatch.h30 int check_dispatch_serv(srv_msg_t *m, void **userptr);
/seL4-refos-master/apps/file_server/src/dispatchers/
H A Dfault_notify.h27 int dispatch_notification(srv_msg_t *m);
H A Dcpio_dspace.h30 int check_dispatch_data(srv_msg_t *m, void **userptr);
H A Dserv_dispatch.h28 int check_dispatch_serv(srv_msg_t *m, void **userptr);
H A Ddispatch.h37 int check_dispatch_interface(srv_msg_t *m, void **userptr, int labelMin, int labelMax);
/seL4-refos-master/apps/timer_server/src/dispatchers/
H A Dclient_watch.h27 int dispatch_client_watch(srv_msg_t *m);
H A Ddispatch.h36 int check_dispatch_interface(srv_msg_t *m, void **userptr, int labelMin, int labelMax);
H A Dserv_dispatch.h30 int check_dispatch_serv(srv_msg_t *m, void **userptr);
/seL4-refos-master/projects/refos/impl/apps/console_server/src/dispatchers/dspace/
H A Ddspace.h31 int check_dispatch_data(srv_msg_t *m, void **userptr);
/seL4-refos-master/projects/refos/impl/apps/timer_server/src/dispatchers/dspace/
H A Ddspace.h31 int check_dispatch_data(srv_msg_t *m, void **userptr);
/seL4-refos-master/apps/console_server/src/dispatchers/dspace/
H A Ddspace.h31 int check_dispatch_data(srv_msg_t *m, void **userptr);
/seL4-refos-master/apps/timer_server/src/dispatchers/dspace/
H A Ddspace.h31 int check_dispatch_data(srv_msg_t *m, void **userptr);

Completed in 103 milliseconds

123