Searched refs:exitProcessPID (Results 1 - 4 of 4) sorted by relevance

/seL4-refos-master/projects/refos/impl/apps/process_server/src/
H A Dstate.h78 uint32_t exitProcessPID; member in struct:procserv_state
/seL4-refos-master/apps/process_server/src/
H A Dstate.h78 uint32_t exitProcessPID; member in struct:procserv_state
/seL4-refos-master/projects/refos/impl/apps/process_server/src/system/process/
H A Dprocess.c435 assert(procServ.exitProcessPID == PID_NULL);
436 procServ.exitProcessPID = p->pid;
685 if (procServ.exitProcessPID != PID_NULL) {
686 struct proc_pcb *pcb = pid_get_pcb(&procServ.PIDList, procServ.exitProcessPID);
689 procServ.exitProcessPID = PID_NULL;
704 procServ.exitProcessPID = PID_NULL;
/seL4-refos-master/apps/process_server/src/system/process/
H A Dprocess.c435 assert(procServ.exitProcessPID == PID_NULL);
436 procServ.exitProcessPID = p->pid;
685 if (procServ.exitProcessPID != PID_NULL) {
686 struct proc_pcb *pcb = pid_get_pcb(&procServ.PIDList, procServ.exitProcessPID);
689 procServ.exitProcessPID = PID_NULL;
704 procServ.exitProcessPID = PID_NULL;

Completed in 35 milliseconds