/seL4-refos-master/projects/refos/impl/apps/process_server/src/dispatchers/ |
H A D | dispatcher.c | 28 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 D | data_syscall.c | 84 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 D | mem_syscall.c | 93 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 D | proc_syscall.c | 81 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 D | fault_handler.c | 343 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 D | dispatcher.h | 101 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 D | dispatcher.c | 28 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 D | data_syscall.c | 84 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 D | mem_syscall.c | 93 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 D | proc_syscall.c | 81 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 D | fault_handler.c | 343 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 D | dispatcher.h | 101 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 D | dspace.c | 47 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 D | dspace.c | 47 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 D | cpio_dspace.c | 136 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 D | cpio_dspace.c | 136 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 D | rpc.h | 239 void *userptr; member in struct:rpc_client_state_s
|
/seL4-refos-master/projects/refos/impl/libs/librefos/include/refos-rpc/ |
H A D | rpc.h | 239 void *userptr; member in struct:rpc_client_state_s
|