Searched refs:deathPID (Results 1 - 4 of 4) sorted by relevance
/seL4-refos-master/projects/refos/impl/apps/process_server/src/system/process/ |
H A D | proc_client_watch.c | 139 uint32_t deathPID = (int) cookie; local 142 if (pcb->pid == deathPID) { 148 seL4_CPtr ep = client_watch_get(&pcb->clientWatchList, deathPID); 155 pcb->pid, pcb->debugProcessName, deathPID, ep); 167 exitNotification.arg[0] = deathPID; 179 client_unwatch(&pcb->clientWatchList, deathPID);
|
H A D | process.c | 171 uint32_t deathPID = (int) cookie; local 173 if (pcb->pid == deathPID) { 178 if (pcb->parentPID == deathPID) {
|
/seL4-refos-master/apps/process_server/src/system/process/ |
H A D | proc_client_watch.c | 139 uint32_t deathPID = (int) cookie; local 142 if (pcb->pid == deathPID) { 148 seL4_CPtr ep = client_watch_get(&pcb->clientWatchList, deathPID); 155 pcb->pid, pcb->debugProcessName, deathPID, ep); 167 exitNotification.arg[0] = deathPID; 179 client_unwatch(&pcb->clientWatchList, deathPID);
|
H A D | process.c | 171 uint32_t deathPID = (int) cookie; local 173 if (pcb->pid == deathPID) { 178 if (pcb->parentPID == deathPID) {
|
Completed in 77 milliseconds