Searched refs:dispatch_client_watch (Results 1 - 12 of 12) sorted by relevance

/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 Dclient_watch.c48 int dispatch_client_watch(srv_msg_t *m) function
/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 Dclient_watch.c48 int dispatch_client_watch(srv_msg_t *m) function
/seL4-refos-master/apps/console_server/src/dispatchers/
H A Dclient_watch.h27 int dispatch_client_watch(srv_msg_t *m);
H A Dclient_watch.c48 int dispatch_client_watch(srv_msg_t *m) function
/seL4-refos-master/apps/timer_server/src/dispatchers/
H A Dclient_watch.h27 int dispatch_client_watch(srv_msg_t *m);
H A Dclient_watch.c48 int dispatch_client_watch(srv_msg_t *m) function
/seL4-refos-master/projects/refos/impl/apps/console_server/src/
H A Dconsole_server.c74 if (dispatch_client_watch(msg) == DISPATCH_SUCCESS) {
/seL4-refos-master/projects/refos/impl/apps/timer_server/src/
H A Dtimer_server.c65 if (dispatch_client_watch(msg) == DISPATCH_SUCCESS) {
/seL4-refos-master/apps/console_server/src/
H A Dconsole_server.c74 if (dispatch_client_watch(msg) == DISPATCH_SUCCESS) {
/seL4-refos-master/apps/timer_server/src/
H A Dtimer_server.c65 if (dispatch_client_watch(msg) == DISPATCH_SUCCESS) {

Completed in 46 milliseconds