| /seL4-refos-master/projects/refos/impl/apps/process_server/src/dispatchers/ |
| H A D | fault_handler.h | 29 @param userptr Output user pointer. Pass this into the generated dispatcher function.
32 int check_dispatch_fault(struct procserv_msg *m, void **userptr);
35 int dispatch_vm_fault(struct procserv_msg *m, void **userptr);
|
| H A D | name_syscall.h | 28 @param userptr Output user pointer. Pass this into the generated dispatcher function.
31 int check_dispatch_nameserv(struct procserv_msg *m, void **userptr);
|
| H A D | proc_syscall.h | 23 @param userptr Output user pointer. Pass this into the generated dispatcher function.
26 int check_dispatch_syscall(struct procserv_msg *m, void **userptr);
|
| H A D | data_syscall.h | 28 @param userptr Output user pointer. Pass this into the generated dispatcher function.
31 int check_dispatch_dataspace(struct procserv_msg *m, void **userptr);
|
| /seL4-refos-master/apps/process_server/src/dispatchers/ |
| H A D | fault_handler.h | 29 @param userptr Output user pointer. Pass this into the generated dispatcher function.
32 int check_dispatch_fault(struct procserv_msg *m, void **userptr);
35 int dispatch_vm_fault(struct procserv_msg *m, void **userptr);
|
| H A D | name_syscall.h | 28 @param userptr Output user pointer. Pass this into the generated dispatcher function.
31 int check_dispatch_nameserv(struct procserv_msg *m, void **userptr);
|
| H A D | proc_syscall.h | 23 @param userptr Output user pointer. Pass this into the generated dispatcher function.
26 int check_dispatch_syscall(struct procserv_msg *m, void **userptr);
|
| H A D | data_syscall.h | 28 @param userptr Output user pointer. Pass this into the generated dispatcher function.
31 int check_dispatch_dataspace(struct procserv_msg *m, void **userptr);
|
| /seL4-refos-master/projects/refos/impl/apps/console_server/src/dispatchers/ |
| H A D | dispatch.h | 26 does most of the real work. It generates a usable userptr containing the client_t structure of
31 @param userptr Output userptr containing corresponding client, to be passed into generated
36 int check_dispatch_interface(srv_msg_t *m, void **userptr, int labelMin, int labelMax);
|
| H A D | serv_dispatch.h | 27 @param userptr Output user pointer. Pass this into the generated dispatcher function.
30 int check_dispatch_serv(srv_msg_t *m, void **userptr);
|
| H A D | dispatch.c | 28 check_dispatch_interface(srv_msg_t *m, void **userptr, int labelMin, int labelMax) argument
30 assert(userptr);
58 c->rpcClient.userptr = (void*) m;
60 (*userptr) = (void*) c;
|
| /seL4-refos-master/projects/refos/impl/apps/timer_server/src/dispatchers/ |
| H A D | dispatch.h | 26 does most of the real work. It generates a usable userptr containing the client_t structure of
31 @param userptr Output userptr containing corresponding client, to be passed into generated
36 int check_dispatch_interface(srv_msg_t *m, void **userptr, int labelMin, int labelMax);
|
| H A D | serv_dispatch.h | 27 @param userptr Output user pointer. Pass this into the generated dispatcher function.
30 int check_dispatch_serv(srv_msg_t *m, void **userptr);
|
| /seL4-refos-master/apps/console_server/src/dispatchers/ |
| H A D | dispatch.h | 26 does most of the real work. It generates a usable userptr containing the client_t structure of
31 @param userptr Output userptr containing corresponding client, to be passed into generated
36 int check_dispatch_interface(srv_msg_t *m, void **userptr, int labelMin, int labelMax);
|
| H A D | serv_dispatch.h | 27 @param userptr Output user pointer. Pass this into the generated dispatcher function.
30 int check_dispatch_serv(srv_msg_t *m, void **userptr);
|
| /seL4-refos-master/apps/timer_server/src/dispatchers/ |
| H A D | dispatch.h | 26 does most of the real work. It generates a usable userptr containing the client_t structure of
31 @param userptr Output userptr containing corresponding client, to be passed into generated
36 int check_dispatch_interface(srv_msg_t *m, void **userptr, int labelMin, int labelMax);
|
| H A D | serv_dispatch.h | 27 @param userptr Output user pointer. Pass this into the generated dispatcher function.
30 int check_dispatch_serv(srv_msg_t *m, void **userptr);
|
| /seL4-refos-master/projects/refos/impl/apps/file_server/src/dispatchers/ |
| H A D | cpio_dspace.h | 27 @param userptr Output user pointer. Pass this into the generated dispatcher function.
30 int check_dispatch_data(srv_msg_t *m, void **userptr);
|
| H A D | serv_dispatch.h | 25 @param userptr Output user pointer. Pass this into the generated dispatcher function.
28 int check_dispatch_serv(srv_msg_t *m, void **userptr);
|
| H A D | dispatch.c | 28 check_dispatch_interface(srv_msg_t *m, void **userptr, int labelMin, int labelMax) argument
30 assert(userptr);
58 c->rpcClient.userptr = (void*) m;
60 (*userptr) = (void*) c;
|
| /seL4-refos-master/apps/file_server/src/dispatchers/ |
| H A D | cpio_dspace.h | 27 @param userptr Output user pointer. Pass this into the generated dispatcher function.
30 int check_dispatch_data(srv_msg_t *m, void **userptr);
|
| H A D | serv_dispatch.h | 25 @param userptr Output user pointer. Pass this into the generated dispatcher function.
28 int check_dispatch_serv(srv_msg_t *m, void **userptr);
|
| /seL4-refos-master/projects/refos/impl/apps/process_server/src/ |
| H A D | main.c | 73 void *userptr = NULL; local
77 if (check_dispatch_syscall(msg, &userptr) == DISPATCH_SUCCESS) {
78 result = rpc_sv_proc_dispatcher(userptr, label);
86 if (check_dispatch_fault(msg, &userptr) == DISPATCH_SUCCESS) {
87 result = dispatch_vm_fault(msg, &userptr);
93 if (check_dispatch_dataspace(msg, &userptr) == DISPATCH_SUCCESS) {
94 result = rpc_sv_data_dispatcher(userptr, label);
101 if (check_dispatch_nameserv(msg, &userptr) == DISPATCH_SUCCESS) {
102 result = rpc_sv_name_dispatcher(userptr, label);
|
| /seL4-refos-master/apps/process_server/src/ |
| H A D | main.c | 73 void *userptr = NULL; local
77 if (check_dispatch_syscall(msg, &userptr) == DISPATCH_SUCCESS) {
78 result = rpc_sv_proc_dispatcher(userptr, label);
86 if (check_dispatch_fault(msg, &userptr) == DISPATCH_SUCCESS) {
87 result = dispatch_vm_fault(msg, &userptr);
93 if (check_dispatch_dataspace(msg, &userptr) == DISPATCH_SUCCESS) {
94 result = rpc_sv_data_dispatcher(userptr, label);
101 if (check_dispatch_nameserv(msg, &userptr) == DISPATCH_SUCCESS) {
102 result = rpc_sv_name_dispatcher(userptr, label);
|
| /seL4-refos-master/projects/refos/impl/apps/console_server/src/dispatchers/dspace/ |
| H A D | dspace.h | 28 @param userptr Output user pointer. Pass this into the generated dispatcher function.
31 int check_dispatch_data(srv_msg_t *m, void **userptr);
|