/seL4-refos-master/projects/refos/impl/apps/process_server/src/test/ |
H A D | test_process.c | 51 testPID = pid_alloc(&procServ.PIDList); 65 pid_free(&procServ.PIDList, pidTable[i]); 71 pid_iterate(&procServ.PIDList, test_pid_iteration_callback, (void*)(&count)); 76 pcb = pid_get_pcb(&procServ.PIDList, pidTable[i]); 86 testPID = pid_alloc(&procServ.PIDList); 102 pcb = pid_get_pcb(&procServ.PIDList, pidTable[i]); 108 pid_free(&procServ.PIDList, pidTable[i]);
|
/seL4-refos-master/apps/process_server/src/test/ |
H A D | test_process.c | 51 testPID = pid_alloc(&procServ.PIDList); 65 pid_free(&procServ.PIDList, pidTable[i]); 71 pid_iterate(&procServ.PIDList, test_pid_iteration_callback, (void*)(&count)); 76 pcb = pid_get_pcb(&procServ.PIDList, pidTable[i]); 86 testPID = pid_alloc(&procServ.PIDList); 102 pcb = pid_get_pcb(&procServ.PIDList, pidTable[i]); 108 pid_free(&procServ.PIDList, pidTable[i]);
|
/seL4-refos-master/projects/refos/impl/apps/process_server/src/system/process/ |
H A D | process.c | 308 uint32_t npid = pid_alloc(&procServ.PIDList); 314 struct proc_pcb *pcb = pid_get_pcb(&procServ.PIDList, npid); 321 pid_free(&procServ.PIDList, npid); 340 pid_free(&procServ.PIDList, npid); 375 pid_iterate(&procServ.PIDList, client_watch_notify_death_callback, (void*) p->pid); 379 pid_iterate(&procServ.PIDList, proc_purge_pid_callback, (void*) p->pid); 658 struct proc_pcb* parentPCB = pid_get_pcb(&procServ.PIDList, p->parentPID); 686 struct proc_pcb *pcb = pid_get_pcb(&procServ.PIDList, procServ.exitProcessPID); 701 pid_free(&procServ.PIDList, pid);
|
/seL4-refos-master/apps/process_server/src/system/process/ |
H A D | process.c | 308 uint32_t npid = pid_alloc(&procServ.PIDList); 314 struct proc_pcb *pcb = pid_get_pcb(&procServ.PIDList, npid); 321 pid_free(&procServ.PIDList, npid); 340 pid_free(&procServ.PIDList, npid); 375 pid_iterate(&procServ.PIDList, client_watch_notify_death_callback, (void*) p->pid); 379 pid_iterate(&procServ.PIDList, proc_purge_pid_callback, (void*) p->pid); 658 struct proc_pcb* parentPCB = pid_get_pcb(&procServ.PIDList, p->parentPID); 686 struct proc_pcb *pcb = pid_get_pcb(&procServ.PIDList, procServ.exitProcessPID); 701 pid_free(&procServ.PIDList, pid);
|
/seL4-refos-master/projects/refos/impl/apps/process_server/src/ |
H A D | state.h | 68 struct pid_list PIDList; member in struct:procserv_state
|
H A D | state.c | 104 pid_init(&s->PIDList);
|
/seL4-refos-master/apps/process_server/src/ |
H A D | state.h | 68 struct pid_list PIDList; member in struct:procserv_state
|
H A D | state.c | 104 pid_init(&s->PIDList);
|
/seL4-refos-master/projects/refos/impl/apps/process_server/src/dispatchers/ |
H A D | fault_handler.c | 158 struct proc_pcb* cinitPCB = pid_get_pcb(&procServ.PIDList, dspace->contentInitPID); 243 struct proc_pcb* pagerPCB = pid_get_pcb(&procServ.PIDList, window->pagerPID); 361 struct proc_pcb *pcb = pid_get_pcb_from_badge(&procServ.PIDList, m->badge);
|
H A D | dispatcher.c | 37 struct proc_pcb *pcb = pid_get_pcb_from_badge(&procServ.PIDList, m->badge);
|
H A D | proc_syscall.c | 146 struct proc_pcb *client = pid_get_pcb(&procServ.PIDList, 193 struct proc_pcb *client = pid_get_pcb(&procServ.PIDList,
|
H A D | mem_syscall.c | 370 struct proc_pcb* clientPCB = pid_get_pcb(&procServ.PIDList, window->clientOwnerPID); 385 struct proc_pcb *clientPCB = pid_get_pcb(&procServ.PIDList, procServ.unblockClientFaultPID);
|
H A D | data_syscall.c | 107 pid_iterate(&procServ.PIDList, proc_dspace_delete_callback, (void*) dspace);
|
/seL4-refos-master/apps/process_server/src/dispatchers/ |
H A D | fault_handler.c | 158 struct proc_pcb* cinitPCB = pid_get_pcb(&procServ.PIDList, dspace->contentInitPID); 243 struct proc_pcb* pagerPCB = pid_get_pcb(&procServ.PIDList, window->pagerPID); 361 struct proc_pcb *pcb = pid_get_pcb_from_badge(&procServ.PIDList, m->badge);
|
H A D | dispatcher.c | 37 struct proc_pcb *pcb = pid_get_pcb_from_badge(&procServ.PIDList, m->badge);
|
H A D | proc_syscall.c | 146 struct proc_pcb *client = pid_get_pcb(&procServ.PIDList, 193 struct proc_pcb *client = pid_get_pcb(&procServ.PIDList,
|
H A D | mem_syscall.c | 370 struct proc_pcb* clientPCB = pid_get_pcb(&procServ.PIDList, window->clientOwnerPID); 385 struct proc_pcb *clientPCB = pid_get_pcb(&procServ.PIDList, procServ.unblockClientFaultPID);
|
H A D | data_syscall.c | 107 pid_iterate(&procServ.PIDList, proc_dspace_delete_callback, (void*) dspace);
|
/seL4-refos-master/projects/refos/impl/apps/process_server/src/system/addrspace/ |
H A D | vspace.c | 480 struct proc_pcb *clientPCB = pid_get_pcb(&procServ.PIDList, windowDest->clientOwnerPID); 520 struct proc_pcb* clientPCB = pid_get_pcb(&procServ.PIDList, window->clientOwnerPID);
|
/seL4-refos-master/apps/process_server/src/system/addrspace/ |
H A D | vspace.c | 480 struct proc_pcb *clientPCB = pid_get_pcb(&procServ.PIDList, windowDest->clientOwnerPID); 520 struct proc_pcb* clientPCB = pid_get_pcb(&procServ.PIDList, window->clientOwnerPID);
|
/seL4-refos-master/projects/refos/impl/apps/process_server/src/system/memserv/ |
H A D | window.c | 65 struct proc_pcb* clientPCB = pid_get_pcb(&procServ.PIDList,
|
/seL4-refos-master/apps/process_server/src/system/memserv/ |
H A D | window.c | 65 struct proc_pcb* clientPCB = pid_get_pcb(&procServ.PIDList,
|