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

/seL4-refos-master/projects/refos/impl/apps/process_server/src/dispatchers/
H A Dfault_handler.h32 int check_dispatch_fault(struct procserv_msg *m, void **userptr);
H A Dfault_handler.c343 check_dispatch_fault(struct procserv_msg *m, void **userptr) { function
355 if (check_dispatch_fault(m, userptr) != DISPATCH_SUCCESS) {
/seL4-refos-master/apps/process_server/src/dispatchers/
H A Dfault_handler.h32 int check_dispatch_fault(struct procserv_msg *m, void **userptr);
H A Dfault_handler.c343 check_dispatch_fault(struct procserv_msg *m, void **userptr) { function
355 if (check_dispatch_fault(m, userptr) != DISPATCH_SUCCESS) {
/seL4-refos-master/projects/refos/impl/apps/process_server/src/
H A Dmain.c86 if (check_dispatch_fault(msg, &userptr) == DISPATCH_SUCCESS) {
/seL4-refos-master/apps/process_server/src/
H A Dmain.c86 if (check_dispatch_fault(msg, &userptr) == DISPATCH_SUCCESS) {

Completed in 110 milliseconds