Searched refs:PROCSERV_NOTIFY_DEATH (Results 1 - 6 of 6) sorted by relevance

/seL4-refos-master/libs/librefos/include/refos-rpc/
H A Dproc_common.h33 PROCSERV_NOTIFY_DEATH enumerator in enum:proc_notify_types
/seL4-refos-master/projects/refos/impl/libs/librefos/include/refos-rpc/
H A Dproc_common.h33 PROCSERV_NOTIFY_DEATH enumerator in enum:proc_notify_types
/seL4-refos-master/projects/refos/impl/apps/process_server/src/system/process/
H A Dproc_client_watch.c166 exitNotification.label = PROCSERV_NOTIFY_DEATH;
/seL4-refos-master/apps/process_server/src/system/process/
H A Dproc_client_watch.c166 exitNotification.label = PROCSERV_NOTIFY_DEATH;
/seL4-refos-master/libs/librefos/src/refos-util/
H A Dserv_common.c327 case PROCSERV_NOTIFY_DEATH:
/seL4-refos-master/projects/refos/impl/libs/librefos/src/refos-util/
H A Dserv_common.c327 case PROCSERV_NOTIFY_DEATH:

Completed in 31 milliseconds