/seL4-refos-master/projects/refos/impl/apps/file_server/src/dispatchers/ |
H A D | dispatch.h | 27 does most of the real work. It generates a usable userptr containing the client_t structure of 32 @param userptr Output userptr containing corresponding client, to be passed into generated 37 int check_dispatch_interface(srv_msg_t *m, void **userptr, int labelMin, int labelMax);
|
H A D | serv_dispatch.c | 30 srv_msg_t *m = (srv_msg_t *) anonc->rpcClient.userptr; 49 srv_msg_t *m = (srv_msg_t *) c->rpcClient.userptr; 65 check_dispatch_serv(srv_msg_t *m, void **userptr) argument 71 return check_dispatch_interface(m, userptr, RPC_SERV_LABEL_MIN, RPC_SERV_LABEL_MAX);
|
/seL4-refos-master/projects/refos/impl/apps/timer_server/src/dispatchers/ |
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;
|
H A D | serv_dispatch.c | 33 srv_msg_t *m = (srv_msg_t *) anonc->rpcClient.userptr; 52 srv_msg_t *m = (srv_msg_t *) c->rpcClient.userptr; 68 check_dispatch_serv(srv_msg_t *m, void **userptr) argument 74 return check_dispatch_interface(m, userptr, RPC_SERV_LABEL_MIN, RPC_SERV_LABEL_MAX);
|
/seL4-refos-master/projects/refos/impl/apps/timer_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);
|
/seL4-refos-master/apps/console_server/src/dispatchers/ |
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;
|
H A D | serv_dispatch.c | 33 srv_msg_t *m = (srv_msg_t *) anonc->rpcClient.userptr; 52 srv_msg_t *m = (srv_msg_t *) c->rpcClient.userptr; 68 check_dispatch_serv(srv_msg_t *m, void **userptr) argument 74 return check_dispatch_interface(m, userptr, RPC_SERV_LABEL_MIN, RPC_SERV_LABEL_MAX);
|
/seL4-refos-master/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);
|
H A D | dspace.c | 53 srv_msg_t *m = (srv_msg_t *) c->rpcClient.userptr; 79 srv_msg_t *m = (srv_msg_t *) c->rpcClient.userptr; 104 srv_msg_t *m = (srv_msg_t *) c->rpcClient.userptr; 128 srv_msg_t *m = (srv_msg_t *) c->rpcClient.userptr; 160 srv_msg_t *m = (srv_msg_t *) c->rpcClient.userptr; 240 check_dispatch_data(srv_msg_t *m, void **userptr) argument 242 return check_dispatch_interface(m, userptr, RPC_DATA_LABEL_MIN, RPC_DATA_LABEL_MAX);
|
/seL4-refos-master/apps/file_server/src/dispatchers/ |
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;
|
H A D | dispatch.h | 27 does most of the real work. It generates a usable userptr containing the client_t structure of 32 @param userptr Output userptr containing corresponding client, to be passed into generated 37 int check_dispatch_interface(srv_msg_t *m, void **userptr, int labelMin, int labelMax);
|
H A D | serv_dispatch.c | 30 srv_msg_t *m = (srv_msg_t *) anonc->rpcClient.userptr; 49 srv_msg_t *m = (srv_msg_t *) c->rpcClient.userptr; 65 check_dispatch_serv(srv_msg_t *m, void **userptr) argument 71 return check_dispatch_interface(m, userptr, RPC_SERV_LABEL_MIN, RPC_SERV_LABEL_MAX);
|
/seL4-refos-master/apps/timer_server/src/dispatchers/ |
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;
|
H A D | serv_dispatch.c | 33 srv_msg_t *m = (srv_msg_t *) anonc->rpcClient.userptr; 52 srv_msg_t *m = (srv_msg_t *) c->rpcClient.userptr; 68 check_dispatch_serv(srv_msg_t *m, void **userptr) argument 74 return check_dispatch_interface(m, userptr, RPC_SERV_LABEL_MIN, RPC_SERV_LABEL_MAX);
|
/seL4-refos-master/apps/timer_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);
|
/seL4-refos-master/projects/refos/impl/apps/console_server/src/ |
H A D | console_server.c | 72 void *userptr; local 86 if (check_dispatch_data(msg, &userptr) == DISPATCH_SUCCESS) { 87 result = rpc_sv_data_dispatcher(userptr, label); 92 if (check_dispatch_serv(msg, &userptr) == DISPATCH_SUCCESS) { 93 result = rpc_sv_serv_dispatcher(userptr, label);
|
/seL4-refos-master/projects/refos/impl/apps/file_server/src/ |
H A D | file_server.c | 83 void *userptr; local 90 if (check_dispatch_serv(msg, &userptr) == DISPATCH_SUCCESS) { 91 result = rpc_sv_serv_dispatcher(userptr, label); 96 if (check_dispatch_data(msg, &userptr) == DISPATCH_SUCCESS) { 97 result = rpc_sv_data_dispatcher(userptr, label);
|
/seL4-refos-master/projects/refos/impl/apps/timer_server/src/ |
H A D | timer_server.c | 63 void *userptr; local 77 if (check_dispatch_data(msg, &userptr) == DISPATCH_SUCCESS) { 78 result = rpc_sv_data_dispatcher(userptr, label); 83 if (check_dispatch_serv(msg, &userptr) == DISPATCH_SUCCESS) { 84 result = rpc_sv_serv_dispatcher(userptr, label);
|
/seL4-refos-master/apps/console_server/src/ |
H A D | console_server.c | 72 void *userptr; local 86 if (check_dispatch_data(msg, &userptr) == DISPATCH_SUCCESS) { 87 result = rpc_sv_data_dispatcher(userptr, label); 92 if (check_dispatch_serv(msg, &userptr) == DISPATCH_SUCCESS) { 93 result = rpc_sv_serv_dispatcher(userptr, label);
|
/seL4-refos-master/apps/file_server/src/ |
H A D | file_server.c | 83 void *userptr; local 90 if (check_dispatch_serv(msg, &userptr) == DISPATCH_SUCCESS) { 91 result = rpc_sv_serv_dispatcher(userptr, label); 96 if (check_dispatch_data(msg, &userptr) == DISPATCH_SUCCESS) { 97 result = rpc_sv_data_dispatcher(userptr, label);
|
/seL4-refos-master/apps/timer_server/src/ |
H A D | timer_server.c | 63 void *userptr; local 77 if (check_dispatch_data(msg, &userptr) == DISPATCH_SUCCESS) { 78 result = rpc_sv_data_dispatcher(userptr, label); 83 if (check_dispatch_serv(msg, &userptr) == DISPATCH_SUCCESS) { 84 result = rpc_sv_serv_dispatcher(userptr, label);
|
/seL4-refos-master/projects/refos/impl/apps/console_server/src/dispatchers/ |
H A D | serv_dispatch.c | 33 srv_msg_t *m = (srv_msg_t *) anonc->rpcClient.userptr; 52 srv_msg_t *m = (srv_msg_t *) c->rpcClient.userptr; 68 check_dispatch_serv(srv_msg_t *m, void **userptr) argument 74 return check_dispatch_interface(m, userptr, RPC_SERV_LABEL_MIN, RPC_SERV_LABEL_MAX);
|
/seL4-refos-master/projects/refos/impl/apps/process_server/src/dispatchers/ |
H A D | name_syscall.c | 30 struct procserv_msg *m = (struct procserv_msg*) pcb->rpcClient.userptr; 105 check_dispatch_nameserv(struct procserv_msg *m, void **userptr) argument 107 return check_dispatch_interface(m, userptr, RPC_NAME_LABEL_MIN, RPC_NAME_LABEL_MAX);
|
/seL4-refos-master/apps/process_server/src/dispatchers/ |
H A D | name_syscall.c | 30 struct procserv_msg *m = (struct procserv_msg*) pcb->rpcClient.userptr; 105 check_dispatch_nameserv(struct procserv_msg *m, void **userptr) argument 107 return check_dispatch_interface(m, userptr, RPC_NAME_LABEL_MIN, RPC_NAME_LABEL_MAX);
|
/seL4-refos-master/projects/refos/impl/apps/console_server/src/dispatchers/dspace/ |
H A D | dspace.c | 53 srv_msg_t *m = (srv_msg_t *) c->rpcClient.userptr; 79 srv_msg_t *m = (srv_msg_t *) c->rpcClient.userptr; 104 srv_msg_t *m = (srv_msg_t *) c->rpcClient.userptr; 128 srv_msg_t *m = (srv_msg_t *) c->rpcClient.userptr; 160 srv_msg_t *m = (srv_msg_t *) c->rpcClient.userptr; 240 check_dispatch_data(srv_msg_t *m, void **userptr) argument 242 return check_dispatch_interface(m, userptr, RPC_DATA_LABEL_MIN, RPC_DATA_LABEL_MAX);
|