Searched refs:parentPID (Results 1 - 4 of 4) sorted by relevance
| /seL4-refos-master/projects/refos/impl/apps/process_server/src/system/process/ |
| H A D | process.h | 69 uint32_t parentPID; /* No ownership. */ member in struct:proc_pcb
109 @param parentPID The PId of the parent that has started this process.
114 int proc_load_direct(char *name, int priority, char *param, unsigned int parentPID,
|
| H A D | process.c | 178 if (pcb->parentPID == deathPID) {
179 pcb->parentPID = PID_NULL;
303 proc_load_direct(char *name, int priority, char *param, unsigned int parentPID, argument
324 pcb->parentPID = parentPID;
383 if (p->parentPID != PID_NULL) {
655 assert(p->parentPID != PID_NULL);
658 struct proc_pcb* parentPCB = pid_get_pcb(&procServ.PIDList, p->parentPID);
672 dprintf("proc_parent_reply childPID %d parentPID %d.\n", p->pid, parentPCB->pid);
|
| /seL4-refos-master/apps/process_server/src/system/process/ |
| H A D | process.h | 69 uint32_t parentPID; /* No ownership. */ member in struct:proc_pcb
109 @param parentPID The PId of the parent that has started this process.
114 int proc_load_direct(char *name, int priority, char *param, unsigned int parentPID,
|
| H A D | process.c | 178 if (pcb->parentPID == deathPID) {
179 pcb->parentPID = PID_NULL;
303 proc_load_direct(char *name, int priority, char *param, unsigned int parentPID, argument
324 pcb->parentPID = parentPID;
383 if (p->parentPID != PID_NULL) {
655 assert(p->parentPID != PID_NULL);
658 struct proc_pcb* parentPCB = pid_get_pcb(&procServ.PIDList, p->parentPID);
672 dprintf("proc_parent_reply childPID %d parentPID %d.\n", p->pid, parentPCB->pid);
|
Completed in 34 milliseconds