Searched refs:dispatch_notification (Results 1 - 6 of 6) sorted by relevance

/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 Dfault_notify.c276 dispatch_notification(srv_msg_t *m) function
/seL4-refos-master/apps/file_server/src/dispatchers/
H A Dfault_notify.h27 int dispatch_notification(srv_msg_t *m);
H A Dfault_notify.c276 dispatch_notification(srv_msg_t *m) function
/seL4-refos-master/projects/refos/impl/apps/file_server/src/
H A Dfile_server.c86 if (dispatch_notification(msg) == DISPATCH_SUCCESS) {
/seL4-refos-master/apps/file_server/src/
H A Dfile_server.c86 if (dispatch_notification(msg) == DISPATCH_SUCCESS) {

Completed in 30 milliseconds