/seL4-refos-master/projects/refos/impl/apps/process_server/src/dispatchers/ |
H A D | proc_syscall.c | 45 @param pcb Handle to the process to create the object for. (no ownership) 51 proc_syscall_allocate_endpoint(struct proc_pcb *pcb, kobject_t type) argument 53 assert(pcb && pcb->magic == REFOS_PCB_MAGIC); 71 vs_track_obj(&pcb->vspace, endpoint); 80 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local 81 struct procserv_msg *m = (struct procserv_msg*) pcb->rpcClient.userptr; 82 assert(pcb->magic == REFOS_PCB_MAGIC); 84 (void) pcb; 95 struct proc_pcb *pcb local 111 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local 132 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local 179 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local 214 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local 252 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local 283 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local 296 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local 308 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local 316 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local [all...] |
H A D | name_syscall.c | 29 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local 30 struct procserv_msg *m = (struct procserv_msg*) pcb->rpcClient.userptr; 31 assert(pcb && pcb->magic == REFOS_PCB_MAGIC); 66 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local 67 assert(pcb && pcb->magic == REFOS_PCB_MAGIC); 68 (void) pcb; 83 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local 84 assert(pcb [all...] |
H A D | mem_syscall.c | 52 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local 53 assert(pcb && pcb->magic == REFOS_PCB_MAGIC); 65 int error = vs_create_window(&pcb->vspace, rpc_vaddr, rpc_size, rpc_permissions, cached, 92 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local 93 struct procserv_msg *m = (struct procserv_msg*) pcb->rpcClient.userptr; 94 assert(pcb && pcb->magic == REFOS_PCB_MAGIC); 107 return vs_resize_window(&pcb->vspace, rpc_window - W_BADGE_BASE, rpc_size); 114 struct proc_pcb *pcb local 134 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local 158 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local 202 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local 244 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local 280 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local 311 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local 349 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local [all...] |
H A D | data_syscall.c | 35 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local 36 assert(pcb && pcb->magic == REFOS_PCB_MAGIC); 38 (void) pcb; 65 if (pcb->systemCapabilitiesMask & PROCESS_PERMISSION_DEVICE_MAP) { 83 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local 84 struct procserv_msg *m = (struct procserv_msg*) pcb->rpcClient.userptr; 85 assert(pcb && pcb->magic == REFOS_PCB_MAGIC); 142 struct proc_pcb *pcb local 168 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local 195 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local 237 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local 290 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local 355 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local [all...] |
H A D | dispatcher.c | 37 struct proc_pcb *pcb = pid_get_pcb_from_badge(&procServ.PIDList, m->badge); local 38 if (!pcb) { 49 pcb->rpcClient.userptr = (void*) m; 50 pcb->rpcClient.minfo = m->message; 51 (*userptr) = (void*) pcb; 101 dispatcher_read_param(struct proc_pcb *pcb, uint32_t readLen) argument 103 assert(pcb && pcb->magic == REFOS_PCB_MAGIC); 106 if (!pcb->paramBuffer && readLen) { 123 int error = ram_dspace_read(tempBuffer, readLen, pcb [all...] |
H A D | fault_handler.c | 36 struct proc_pcb *pcb; member in struct:procserv_vmfault_msg 57 f->pcb->pid, f->pcb->debugProcessName); 81 assert(f && f->pcb); 92 int error = proc_save_caller(f->pcb); 132 assert(f && f->pcb); 140 dvprintf("# PID %d VM fault ������������������ anon RAM dspace %d\n", f->pcb->pid, dspace->ID); 201 int error = vs_map(&f->pcb->vspace, f->faultAddr, &frame, 1); 226 assert(f && f->pcb); 272 assert(f && f->pcb); 361 struct proc_pcb *pcb = pid_get_pcb_from_badge(&procServ.PIDList, m->badge); local [all...] |
H A D | dispatcher.h | 135 @param pcb The PCB of the process to read parameter buffer from. 139 char* dispatcher_read_param(struct proc_pcb *pcb, uint32_t readLen);
|
/seL4-refos-master/apps/process_server/src/dispatchers/ |
H A D | proc_syscall.c | 45 @param pcb Handle to the process to create the object for. (no ownership) 51 proc_syscall_allocate_endpoint(struct proc_pcb *pcb, kobject_t type) argument 53 assert(pcb && pcb->magic == REFOS_PCB_MAGIC); 71 vs_track_obj(&pcb->vspace, endpoint); 80 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local 81 struct procserv_msg *m = (struct procserv_msg*) pcb->rpcClient.userptr; 82 assert(pcb->magic == REFOS_PCB_MAGIC); 84 (void) pcb; 95 struct proc_pcb *pcb local 111 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local 132 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local 179 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local 214 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local 252 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local 283 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local 296 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local 308 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local 316 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local [all...] |
H A D | name_syscall.c | 29 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local 30 struct procserv_msg *m = (struct procserv_msg*) pcb->rpcClient.userptr; 31 assert(pcb && pcb->magic == REFOS_PCB_MAGIC); 66 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local 67 assert(pcb && pcb->magic == REFOS_PCB_MAGIC); 68 (void) pcb; 83 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local 84 assert(pcb [all...] |
H A D | mem_syscall.c | 52 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local 53 assert(pcb && pcb->magic == REFOS_PCB_MAGIC); 65 int error = vs_create_window(&pcb->vspace, rpc_vaddr, rpc_size, rpc_permissions, cached, 92 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local 93 struct procserv_msg *m = (struct procserv_msg*) pcb->rpcClient.userptr; 94 assert(pcb && pcb->magic == REFOS_PCB_MAGIC); 107 return vs_resize_window(&pcb->vspace, rpc_window - W_BADGE_BASE, rpc_size); 114 struct proc_pcb *pcb local 134 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local 158 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local 202 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local 244 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local 280 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local 311 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local 349 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local [all...] |
H A D | data_syscall.c | 35 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local 36 assert(pcb && pcb->magic == REFOS_PCB_MAGIC); 38 (void) pcb; 65 if (pcb->systemCapabilitiesMask & PROCESS_PERMISSION_DEVICE_MAP) { 83 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local 84 struct procserv_msg *m = (struct procserv_msg*) pcb->rpcClient.userptr; 85 assert(pcb && pcb->magic == REFOS_PCB_MAGIC); 142 struct proc_pcb *pcb local 168 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local 195 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local 237 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local 290 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local 355 struct proc_pcb *pcb = (struct proc_pcb*) rpc_userptr; local [all...] |
H A D | dispatcher.c | 37 struct proc_pcb *pcb = pid_get_pcb_from_badge(&procServ.PIDList, m->badge); local 38 if (!pcb) { 49 pcb->rpcClient.userptr = (void*) m; 50 pcb->rpcClient.minfo = m->message; 51 (*userptr) = (void*) pcb; 101 dispatcher_read_param(struct proc_pcb *pcb, uint32_t readLen) argument 103 assert(pcb && pcb->magic == REFOS_PCB_MAGIC); 106 if (!pcb->paramBuffer && readLen) { 123 int error = ram_dspace_read(tempBuffer, readLen, pcb [all...] |
H A D | fault_handler.c | 36 struct proc_pcb *pcb; member in struct:procserv_vmfault_msg 57 f->pcb->pid, f->pcb->debugProcessName); 81 assert(f && f->pcb); 92 int error = proc_save_caller(f->pcb); 132 assert(f && f->pcb); 140 dvprintf("# PID %d VM fault ������������������ anon RAM dspace %d\n", f->pcb->pid, dspace->ID); 201 int error = vs_map(&f->pcb->vspace, f->faultAddr, &frame, 1); 226 assert(f && f->pcb); 272 assert(f && f->pcb); 361 struct proc_pcb *pcb = pid_get_pcb_from_badge(&procServ.PIDList, m->badge); local [all...] |
H A D | dispatcher.h | 135 @param pcb The PCB of the process to read parameter buffer from. 139 char* dispatcher_read_param(struct proc_pcb *pcb, uint32_t readLen);
|
/seL4-refos-master/projects/refos/impl/apps/process_server/src/system/process/ |
H A D | proc_client_watch.c | 137 client_watch_notify_death_callback(struct proc_pcb *pcb, void *cookie) argument 140 assert(pcb && pcb->magic == REFOS_PCB_MAGIC); 142 if (pcb->pid == deathPID) { 148 seL4_CPtr ep = client_watch_get(&pcb->clientWatchList, deathPID); 155 pcb->pid, pcb->debugProcessName, deathPID, ep); 156 if (!pcb->notificationBuffer) { 158 pcb->pid, pcb [all...] |
H A D | pid.c | 120 struct proc_pcb* pcb = pid_get_pcb(p, i); local 121 if (pcb != NULL) { 122 callback(pcb, cookie);
|
H A D | proc_client_watch.h | 70 @param pcb The current iterating PCB containign watchlist to go through. 73 void client_watch_notify_death_callback(struct proc_pcb *pcb, void *cookie);
|
H A D | process.c | 169 proc_purge_pid_callback(struct proc_pcb *pcb, void *cookie) argument 172 assert(pcb && pcb->magic == REFOS_PCB_MAGIC); 173 if (pcb->pid == deathPID) { 178 if (pcb->parentPID == deathPID) { 179 pcb->parentPID = PID_NULL; 180 pcb->parentWaiting = false; 314 struct proc_pcb *pcb = pid_get_pcb(&procServ.PIDList, npid); local 315 assert(pcb); 319 int error = proc_config_new(pcb, npi 686 struct proc_pcb *pcb = pid_get_pcb(&procServ.PIDList, procServ.exitProcessPID); local [all...] |
/seL4-refos-master/apps/process_server/src/system/process/ |
H A D | proc_client_watch.c | 137 client_watch_notify_death_callback(struct proc_pcb *pcb, void *cookie) argument 140 assert(pcb && pcb->magic == REFOS_PCB_MAGIC); 142 if (pcb->pid == deathPID) { 148 seL4_CPtr ep = client_watch_get(&pcb->clientWatchList, deathPID); 155 pcb->pid, pcb->debugProcessName, deathPID, ep); 156 if (!pcb->notificationBuffer) { 158 pcb->pid, pcb [all...] |
H A D | pid.c | 120 struct proc_pcb* pcb = pid_get_pcb(p, i); local 121 if (pcb != NULL) { 122 callback(pcb, cookie);
|
H A D | proc_client_watch.h | 70 @param pcb The current iterating PCB containign watchlist to go through. 73 void client_watch_notify_death_callback(struct proc_pcb *pcb, void *cookie);
|
H A D | process.c | 169 proc_purge_pid_callback(struct proc_pcb *pcb, void *cookie) argument 172 assert(pcb && pcb->magic == REFOS_PCB_MAGIC); 173 if (pcb->pid == deathPID) { 178 if (pcb->parentPID == deathPID) { 179 pcb->parentPID = PID_NULL; 180 pcb->parentWaiting = false; 314 struct proc_pcb *pcb = pid_get_pcb(&procServ.PIDList, npid); local 315 assert(pcb); 319 int error = proc_config_new(pcb, npi 686 struct proc_pcb *pcb = pid_get_pcb(&procServ.PIDList, procServ.exitProcessPID); local [all...] |
/seL4-refos-master/projects/refos/impl/apps/process_server/src/test/ |
H A D | test_process.c | 31 test_pid_iteration_callback(struct proc_pcb *pcb, void *cookie) argument 46 struct proc_pcb *pcb; local 76 pcb = pid_get_pcb(&procServ.PIDList, pidTable[i]); 78 test_assert(pcb == NULL); 80 test_assert(pcb != NULL); 102 pcb = pid_get_pcb(&procServ.PIDList, pidTable[i]); 103 test_assert(pcb != NULL);
|
/seL4-refos-master/apps/process_server/src/test/ |
H A D | test_process.c | 31 test_pid_iteration_callback(struct proc_pcb *pcb, void *cookie) argument 46 struct proc_pcb *pcb; local 76 pcb = pid_get_pcb(&procServ.PIDList, pidTable[i]); 78 test_assert(pcb == NULL); 80 test_assert(pcb != NULL); 102 pcb = pid_get_pcb(&procServ.PIDList, pidTable[i]); 103 test_assert(pcb != NULL);
|