Searched refs:PIDList (Results 1 - 22 of 22) sorted by relevance

/seL4-refos-master/projects/refos/impl/apps/process_server/src/test/
H A Dtest_process.c51 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 Dtest_process.c51 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 Dprocess.c308 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 Dprocess.c308 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 Dstate.h68 struct pid_list PIDList; member in struct:procserv_state
H A Dstate.c104 pid_init(&s->PIDList);
/seL4-refos-master/apps/process_server/src/
H A Dstate.h68 struct pid_list PIDList; member in struct:procserv_state
H A Dstate.c104 pid_init(&s->PIDList);
/seL4-refos-master/projects/refos/impl/apps/process_server/src/dispatchers/
H A Dfault_handler.c158 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 Ddispatcher.c37 struct proc_pcb *pcb = pid_get_pcb_from_badge(&procServ.PIDList, m->badge);
H A Dproc_syscall.c146 struct proc_pcb *client = pid_get_pcb(&procServ.PIDList,
193 struct proc_pcb *client = pid_get_pcb(&procServ.PIDList,
H A Dmem_syscall.c370 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 Ddata_syscall.c107 pid_iterate(&procServ.PIDList, proc_dspace_delete_callback, (void*) dspace);
/seL4-refos-master/apps/process_server/src/dispatchers/
H A Dfault_handler.c158 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 Ddispatcher.c37 struct proc_pcb *pcb = pid_get_pcb_from_badge(&procServ.PIDList, m->badge);
H A Dproc_syscall.c146 struct proc_pcb *client = pid_get_pcb(&procServ.PIDList,
193 struct proc_pcb *client = pid_get_pcb(&procServ.PIDList,
H A Dmem_syscall.c370 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 Ddata_syscall.c107 pid_iterate(&procServ.PIDList, proc_dspace_delete_callback, (void*) dspace);
/seL4-refos-master/projects/refos/impl/apps/process_server/src/system/addrspace/
H A Dvspace.c480 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 Dvspace.c480 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 Dwindow.c65 struct proc_pcb* clientPCB = pid_get_pcb(&procServ.PIDList,
/seL4-refos-master/apps/process_server/src/system/memserv/
H A Dwindow.c65 struct proc_pcb* clientPCB = pid_get_pcb(&procServ.PIDList,

Completed in 102 milliseconds