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

123

/seL4-refos-master/projects/refos/impl/apps/process_server/src/dispatchers/
H A Ddispatcher.c28 check_dispatch_interface(struct procserv_msg *m, void **userptr, int labelMin, int labelMax) argument
30 assert(userptr);
49 pcb->rpcClient.userptr = (void*) m;
51 (*userptr) = (void*) pcb;
H A Ddata_syscall.c84 struct procserv_msg *m = (struct procserv_msg*) pcb->rpcClient.userptr;
143 struct procserv_msg *m = (struct procserv_msg*) pcb->rpcClient.userptr;
169 struct procserv_msg *m = (struct procserv_msg*) pcb->rpcClient.userptr;
196 struct procserv_msg *m = (struct procserv_msg*) pcb->rpcClient.userptr;
238 struct procserv_msg *m = (struct procserv_msg*) pcb->rpcClient.userptr;
291 struct procserv_msg *m = (struct procserv_msg*) pcb->rpcClient.userptr;
356 struct procserv_msg *m = (struct procserv_msg*) pcb->rpcClient.userptr;
399 check_dispatch_dataspace(struct procserv_msg *m, void **userptr) argument
401 return check_dispatch_interface(m, userptr, RPC_DATA_LABEL_MIN, RPC_DATA_LABEL_MAX);
H A Dmem_syscall.c93 struct procserv_msg *m = (struct procserv_msg*) pcb->rpcClient.userptr;
115 struct procserv_msg *m = (struct procserv_msg*) pcb->rpcClient.userptr;
159 struct procserv_msg *m = (struct procserv_msg*) pcb->rpcClient.userptr;
203 struct procserv_msg *m = (struct procserv_msg*) pcb->rpcClient.userptr;
245 struct procserv_msg *m = (struct procserv_msg*) pcb->rpcClient.userptr;
281 struct procserv_msg *m = (struct procserv_msg*) pcb->rpcClient.userptr;
312 struct procserv_msg *m = (struct procserv_msg*) pcb->rpcClient.userptr;
350 struct procserv_msg *m = (struct procserv_msg*) pcb->rpcClient.userptr;
H A Dproc_syscall.c81 struct procserv_msg *m = (struct procserv_msg*) pcb->rpcClient.userptr;
133 struct procserv_msg *m = (struct procserv_msg*) pcb->rpcClient.userptr;
180 struct procserv_msg *m = (struct procserv_msg*) pcb->rpcClient.userptr;
215 struct procserv_msg *m = (struct procserv_msg*) pcb->rpcClient.userptr;
329 check_dispatch_syscall(struct procserv_msg *m, void **userptr) { argument
330 return check_dispatch_interface(m, userptr, RPC_PROC_LABEL_MIN, RPC_PROC_LABEL_MAX);
H A Dfault_handler.c343 check_dispatch_fault(struct procserv_msg *m, void **userptr) { argument
349 (void) userptr;
354 dispatch_vm_fault(struct procserv_msg *m, void **userptr) { argument
355 if (check_dispatch_fault(m, userptr) != DISPATCH_SUCCESS) {
358 (void) userptr;
H A Ddispatcher.h101 does most of the real work. It generates a usable userptr containing the client_t structure of
106 @param userptr Output userptr containing corresponding client, to be passed into generated
111 int check_dispatch_interface(struct procserv_msg *m, void **userptr, int labelMin, int labelMax);
/seL4-refos-master/apps/process_server/src/dispatchers/
H A Ddispatcher.c28 check_dispatch_interface(struct procserv_msg *m, void **userptr, int labelMin, int labelMax) argument
30 assert(userptr);
49 pcb->rpcClient.userptr = (void*) m;
51 (*userptr) = (void*) pcb;
H A Ddata_syscall.c84 struct procserv_msg *m = (struct procserv_msg*) pcb->rpcClient.userptr;
143 struct procserv_msg *m = (struct procserv_msg*) pcb->rpcClient.userptr;
169 struct procserv_msg *m = (struct procserv_msg*) pcb->rpcClient.userptr;
196 struct procserv_msg *m = (struct procserv_msg*) pcb->rpcClient.userptr;
238 struct procserv_msg *m = (struct procserv_msg*) pcb->rpcClient.userptr;
291 struct procserv_msg *m = (struct procserv_msg*) pcb->rpcClient.userptr;
356 struct procserv_msg *m = (struct procserv_msg*) pcb->rpcClient.userptr;
399 check_dispatch_dataspace(struct procserv_msg *m, void **userptr) argument
401 return check_dispatch_interface(m, userptr, RPC_DATA_LABEL_MIN, RPC_DATA_LABEL_MAX);
H A Dmem_syscall.c93 struct procserv_msg *m = (struct procserv_msg*) pcb->rpcClient.userptr;
115 struct procserv_msg *m = (struct procserv_msg*) pcb->rpcClient.userptr;
159 struct procserv_msg *m = (struct procserv_msg*) pcb->rpcClient.userptr;
203 struct procserv_msg *m = (struct procserv_msg*) pcb->rpcClient.userptr;
245 struct procserv_msg *m = (struct procserv_msg*) pcb->rpcClient.userptr;
281 struct procserv_msg *m = (struct procserv_msg*) pcb->rpcClient.userptr;
312 struct procserv_msg *m = (struct procserv_msg*) pcb->rpcClient.userptr;
350 struct procserv_msg *m = (struct procserv_msg*) pcb->rpcClient.userptr;
H A Dproc_syscall.c81 struct procserv_msg *m = (struct procserv_msg*) pcb->rpcClient.userptr;
133 struct procserv_msg *m = (struct procserv_msg*) pcb->rpcClient.userptr;
180 struct procserv_msg *m = (struct procserv_msg*) pcb->rpcClient.userptr;
215 struct procserv_msg *m = (struct procserv_msg*) pcb->rpcClient.userptr;
329 check_dispatch_syscall(struct procserv_msg *m, void **userptr) { argument
330 return check_dispatch_interface(m, userptr, RPC_PROC_LABEL_MIN, RPC_PROC_LABEL_MAX);
H A Dfault_handler.c343 check_dispatch_fault(struct procserv_msg *m, void **userptr) { argument
349 (void) userptr;
354 dispatch_vm_fault(struct procserv_msg *m, void **userptr) { argument
355 if (check_dispatch_fault(m, userptr) != DISPATCH_SUCCESS) {
358 (void) userptr;
H A Ddispatcher.h101 does most of the real work. It generates a usable userptr containing the client_t structure of
106 @param userptr Output userptr containing corresponding client, to be passed into generated
111 int check_dispatch_interface(struct procserv_msg *m, void **userptr, int labelMin, int labelMax);
/seL4-refos-master/projects/refos/impl/apps/timer_server/src/dispatchers/dspace/
H A Ddspace.c47 srv_msg_t *m = (srv_msg_t *) c->rpcClient.userptr;
67 srv_msg_t *m = (srv_msg_t *) c->rpcClient.userptr;
87 srv_msg_t *m = (srv_msg_t *) c->rpcClient.userptr;
180 check_dispatch_data(srv_msg_t *m, void **userptr) argument
182 return check_dispatch_interface(m, userptr, RPC_DATA_LABEL_MIN, RPC_DATA_LABEL_MAX);
/seL4-refos-master/apps/timer_server/src/dispatchers/dspace/
H A Ddspace.c47 srv_msg_t *m = (srv_msg_t *) c->rpcClient.userptr;
67 srv_msg_t *m = (srv_msg_t *) c->rpcClient.userptr;
87 srv_msg_t *m = (srv_msg_t *) c->rpcClient.userptr;
180 check_dispatch_data(srv_msg_t *m, void **userptr) argument
182 return check_dispatch_interface(m, userptr, RPC_DATA_LABEL_MIN, RPC_DATA_LABEL_MAX);
/seL4-refos-master/projects/refos/impl/apps/file_server/src/dispatchers/
H A Dcpio_dspace.c136 srv_msg_t *m = (srv_msg_t *) c->rpcClient.userptr;
162 srv_msg_t *m = (srv_msg_t *) c->rpcClient.userptr;
193 srv_msg_t *m = (srv_msg_t *) c->rpcClient.userptr;
252 srv_msg_t *m = (srv_msg_t *) c->rpcClient.userptr;
283 srv_msg_t *m = (srv_msg_t *) c->rpcClient.userptr;
334 srv_msg_t *m = (srv_msg_t *) c->rpcClient.userptr;
369 srv_msg_t *m = (srv_msg_t *) c->rpcClient.userptr;
442 check_dispatch_data(srv_msg_t *m, void **userptr) argument
447 return check_dispatch_interface(m, userptr, RPC_DATA_LABEL_MIN, RPC_DATA_LABEL_MAX);
/seL4-refos-master/apps/file_server/src/dispatchers/
H A Dcpio_dspace.c136 srv_msg_t *m = (srv_msg_t *) c->rpcClient.userptr;
162 srv_msg_t *m = (srv_msg_t *) c->rpcClient.userptr;
193 srv_msg_t *m = (srv_msg_t *) c->rpcClient.userptr;
252 srv_msg_t *m = (srv_msg_t *) c->rpcClient.userptr;
283 srv_msg_t *m = (srv_msg_t *) c->rpcClient.userptr;
334 srv_msg_t *m = (srv_msg_t *) c->rpcClient.userptr;
369 srv_msg_t *m = (srv_msg_t *) c->rpcClient.userptr;
442 check_dispatch_data(srv_msg_t *m, void **userptr) argument
447 return check_dispatch_interface(m, userptr, RPC_DATA_LABEL_MIN, RPC_DATA_LABEL_MAX);
/seL4-refos-master/libs/librefos/include/refos-rpc/
H A Drpc.h239 void *userptr; member in struct:rpc_client_state_s
/seL4-refos-master/projects/refos/impl/libs/librefos/include/refos-rpc/
H A Drpc.h239 void *userptr; member in struct:rpc_client_state_s

Completed in 196 milliseconds

123