| /seL4-refos-master/projects/refos/impl/apps/console_server/src/ |
| H A D | console_server.c | 65 @return DISPATCH_SUCCESS if message dispatched, DISPATCH_ERROR if unknown message.
74 if (dispatch_client_watch(msg) == DISPATCH_SUCCESS) {
75 result = DISPATCH_SUCCESS;
78 if (dev_dispatch_interrupt(&s->irqState, msg) == DISPATCH_SUCCESS) {
79 result = DISPATCH_SUCCESS;
82 if (result == DISPATCH_SUCCESS) {
86 if (check_dispatch_data(msg, &userptr) == DISPATCH_SUCCESS) {
88 assert(result == DISPATCH_SUCCESS);
89 return DISPATCH_SUCCESS;
92 if (check_dispatch_serv(msg, &userptr) == DISPATCH_SUCCESS) {
[all...] |
| /seL4-refos-master/projects/refos/impl/apps/timer_server/src/ |
| H A D | timer_server.c | 56 @return DISPATCH_SUCCESS if message dispatched, DISPATCH_ERROR if unknown message.
65 if (dispatch_client_watch(msg) == DISPATCH_SUCCESS) {
66 result = DISPATCH_SUCCESS;
69 if (dev_dispatch_interrupt(&timeServ.irqState, msg) == DISPATCH_SUCCESS) {
70 result = DISPATCH_SUCCESS;
73 if (result == DISPATCH_SUCCESS) {
77 if (check_dispatch_data(msg, &userptr) == DISPATCH_SUCCESS) {
79 assert(result == DISPATCH_SUCCESS);
80 return DISPATCH_SUCCESS;
83 if (check_dispatch_serv(msg, &userptr) == DISPATCH_SUCCESS) {
[all...] |
| /seL4-refos-master/apps/console_server/src/ |
| H A D | console_server.c | 65 @return DISPATCH_SUCCESS if message dispatched, DISPATCH_ERROR if unknown message.
74 if (dispatch_client_watch(msg) == DISPATCH_SUCCESS) {
75 result = DISPATCH_SUCCESS;
78 if (dev_dispatch_interrupt(&s->irqState, msg) == DISPATCH_SUCCESS) {
79 result = DISPATCH_SUCCESS;
82 if (result == DISPATCH_SUCCESS) {
86 if (check_dispatch_data(msg, &userptr) == DISPATCH_SUCCESS) {
88 assert(result == DISPATCH_SUCCESS);
89 return DISPATCH_SUCCESS;
92 if (check_dispatch_serv(msg, &userptr) == DISPATCH_SUCCESS) {
[all...] |
| /seL4-refos-master/apps/timer_server/src/ |
| H A D | timer_server.c | 56 @return DISPATCH_SUCCESS if message dispatched, DISPATCH_ERROR if unknown message.
65 if (dispatch_client_watch(msg) == DISPATCH_SUCCESS) {
66 result = DISPATCH_SUCCESS;
69 if (dev_dispatch_interrupt(&timeServ.irqState, msg) == DISPATCH_SUCCESS) {
70 result = DISPATCH_SUCCESS;
73 if (result == DISPATCH_SUCCESS) {
77 if (check_dispatch_data(msg, &userptr) == DISPATCH_SUCCESS) {
79 assert(result == DISPATCH_SUCCESS);
80 return DISPATCH_SUCCESS;
83 if (check_dispatch_serv(msg, &userptr) == DISPATCH_SUCCESS) {
[all...] |
| /seL4-refos-master/projects/refos/impl/apps/file_server/src/ |
| H A D | file_server.c | 76 @return DISPATCH_SUCCESS if message dispatched, DISPATCH_ERROR if unknown message.
86 if (dispatch_notification(msg) == DISPATCH_SUCCESS) {
87 return DISPATCH_SUCCESS;
90 if (check_dispatch_serv(msg, &userptr) == DISPATCH_SUCCESS) {
92 assert(result == DISPATCH_SUCCESS);
93 return DISPATCH_SUCCESS;
96 if (check_dispatch_data(msg, &userptr) == DISPATCH_SUCCESS) {
98 assert(result == DISPATCH_SUCCESS);
99 return DISPATCH_SUCCESS;
|
| /seL4-refos-master/apps/file_server/src/ |
| H A D | file_server.c | 76 @return DISPATCH_SUCCESS if message dispatched, DISPATCH_ERROR if unknown message.
86 if (dispatch_notification(msg) == DISPATCH_SUCCESS) {
87 return DISPATCH_SUCCESS;
90 if (check_dispatch_serv(msg, &userptr) == DISPATCH_SUCCESS) {
92 assert(result == DISPATCH_SUCCESS);
93 return DISPATCH_SUCCESS;
96 if (check_dispatch_data(msg, &userptr) == DISPATCH_SUCCESS) {
98 assert(result == DISPATCH_SUCCESS);
99 return DISPATCH_SUCCESS;
|
| /seL4-refos-master/projects/refos/impl/apps/process_server/src/ |
| H A D | main.c | 77 if (check_dispatch_syscall(msg, &userptr) == DISPATCH_SUCCESS) {
79 assert(result == DISPATCH_SUCCESS);
86 if (check_dispatch_fault(msg, &userptr) == DISPATCH_SUCCESS) {
88 assert(result == DISPATCH_SUCCESS);
93 if (check_dispatch_dataspace(msg, &userptr) == DISPATCH_SUCCESS) {
95 assert(result == DISPATCH_SUCCESS);
101 if (check_dispatch_nameserv(msg, &userptr) == DISPATCH_SUCCESS) {
103 assert(result == DISPATCH_SUCCESS);
|
| /seL4-refos-master/apps/process_server/src/ |
| H A D | main.c | 77 if (check_dispatch_syscall(msg, &userptr) == DISPATCH_SUCCESS) {
79 assert(result == DISPATCH_SUCCESS);
86 if (check_dispatch_fault(msg, &userptr) == DISPATCH_SUCCESS) {
88 assert(result == DISPATCH_SUCCESS);
93 if (check_dispatch_dataspace(msg, &userptr) == DISPATCH_SUCCESS) {
95 assert(result == DISPATCH_SUCCESS);
101 if (check_dispatch_nameserv(msg, &userptr) == DISPATCH_SUCCESS) {
103 assert(result == DISPATCH_SUCCESS);
|
| /seL4-refos-master/projects/refos/impl/apps/console_server/src/dispatchers/ |
| H A D | client_watch.c | 28 @return DISPATCH_SUCCESS if success, DISPATCHER_ERROR otherwise.
45 return DISPATCH_SUCCESS;
|
| H A D | dispatch.c | 61 return DISPATCH_SUCCESS;
|
| /seL4-refos-master/projects/refos/impl/apps/file_server/src/dispatchers/ |
| H A D | dispatch.c | 61 return DISPATCH_SUCCESS;
|
| H A D | fault_notify.c | 43 @return DISPATCH_SUCCESS if success, DISPATCHER_ERROR otherwise.
72 return DISPATCH_SUCCESS;
185 return DISPATCH_SUCCESS;
197 @return DISPATCH_SUCCESS if success, DISPATCHER_ERROR otherwise.
255 return DISPATCH_SUCCESS;
261 @return DISPATCH_SUCCESS if success, DISPATCHER_ERROR otherwise.
272 return DISPATCH_SUCCESS;
|
| /seL4-refos-master/projects/refos/impl/apps/timer_server/src/dispatchers/ |
| H A D | client_watch.c | 28 @return DISPATCH_SUCCESS if success, DISPATCHER_ERROR otherwise.
45 return DISPATCH_SUCCESS;
|
| H A D | dispatch.c | 61 return DISPATCH_SUCCESS;
|
| /seL4-refos-master/apps/console_server/src/dispatchers/ |
| H A D | client_watch.c | 28 @return DISPATCH_SUCCESS if success, DISPATCHER_ERROR otherwise.
45 return DISPATCH_SUCCESS;
|
| H A D | dispatch.c | 61 return DISPATCH_SUCCESS;
|
| /seL4-refos-master/apps/file_server/src/dispatchers/ |
| H A D | dispatch.c | 61 return DISPATCH_SUCCESS;
|
| H A D | fault_notify.c | 43 @return DISPATCH_SUCCESS if success, DISPATCHER_ERROR otherwise.
72 return DISPATCH_SUCCESS;
185 return DISPATCH_SUCCESS;
197 @return DISPATCH_SUCCESS if success, DISPATCHER_ERROR otherwise.
255 return DISPATCH_SUCCESS;
261 @return DISPATCH_SUCCESS if success, DISPATCHER_ERROR otherwise.
272 return DISPATCH_SUCCESS;
|
| /seL4-refos-master/apps/timer_server/src/dispatchers/ |
| H A D | client_watch.c | 28 @return DISPATCH_SUCCESS if success, DISPATCHER_ERROR otherwise.
45 return DISPATCH_SUCCESS;
|
| H A D | dispatch.c | 61 return DISPATCH_SUCCESS;
|
| /seL4-refos-master/projects/refos/impl/apps/process_server/src/dispatchers/ |
| H A D | dispatcher.h | 40 #define DISPATCH_SUCCESS 0 macro
|
| H A D | fault_handler.c | 350 return DISPATCH_SUCCESS;
355 if (check_dispatch_fault(m, userptr) != DISPATCH_SUCCESS) {
380 return DISPATCH_SUCCESS;
|
| /seL4-refos-master/apps/process_server/src/dispatchers/ |
| H A D | dispatcher.h | 40 #define DISPATCH_SUCCESS 0 macro
|
| /seL4-refos-master/libs/librefos/include/refos-util/ |
| H A D | serv_common.h | 64 DISPATCH_SUCCESS /*!< This is the correct dispatcher, or correctly dispatched. */ enumerator in enum:srv_dispatch_return_code_enum
|
| /seL4-refos-master/projects/refos/impl/libs/librefos/include/refos-util/ |
| H A D | serv_common.h | 64 DISPATCH_SUCCESS /*!< This is the correct dispatcher, or correctly dispatched. */ enumerator in enum:srv_dispatch_return_code_enum
|