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 Dproc_client_watch.c139 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 Dprocess.c171 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 Dproc_client_watch.c139 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 Dprocess.c171 uint32_t deathPID = (int) cookie; local
173 if (pcb->pid == deathPID) {
178 if (pcb->parentPID == deathPID) {

Completed in 77 milliseconds