Searched refs:userptr (Results 26 - 50 of 68) sorted by relevance

123

/seL4-refos-master/projects/refos/impl/apps/file_server/src/dispatchers/
H A Ddispatch.h27 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 Dserv_dispatch.c30 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 Ddispatch.c28 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 Dserv_dispatch.c33 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 Ddspace.h28 @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 Ddispatch.c28 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 Dserv_dispatch.c33 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 Ddspace.h28 @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 Ddspace.c53 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 Ddispatch.c28 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 Ddispatch.h27 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 Dserv_dispatch.c30 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 Ddispatch.c28 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 Dserv_dispatch.c33 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 Ddspace.h28 @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 Dconsole_server.c72 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 Dfile_server.c83 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 Dtimer_server.c63 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 Dconsole_server.c72 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 Dfile_server.c83 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 Dtimer_server.c63 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 Dserv_dispatch.c33 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 Dname_syscall.c30 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 Dname_syscall.c30 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 Ddspace.c53 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);

Completed in 105 milliseconds

123