Searched refs:faultDeathNotifyBadge (Results 1 - 10 of 10) sorted by relevance

/seL4-refos-master/projects/refos/impl/apps/file_server/src/
H A Dstate.c52 .faultDeathNotifyBadge = FS_ASYNC_NOTIFY_BADGE
/seL4-refos-master/apps/file_server/src/
H A Dstate.c52 .faultDeathNotifyBadge = FS_ASYNC_NOTIFY_BADGE
/seL4-refos-master/projects/refos/impl/apps/timer_server/src/
H A Dstate.c58 .faultDeathNotifyBadge = TIMESERV_ASYNC_NOTIFY_BADGE | TIMESERV_ASYNC_BADGE_MASK
/seL4-refos-master/apps/timer_server/src/
H A Dstate.c58 .faultDeathNotifyBadge = TIMESERV_ASYNC_NOTIFY_BADGE | TIMESERV_ASYNC_BADGE_MASK
/seL4-refos-master/libs/librefos/include/refos-util/
H A Dserv_common.h93 uint32_t faultDeathNotifyBadge; member in struct:srv_common_config
/seL4-refos-master/projects/refos/impl/libs/librefos/include/refos-util/
H A Dserv_common.h93 uint32_t faultDeathNotifyBadge; member in struct:srv_common_config
/seL4-refos-master/projects/refos/impl/apps/console_server/src/
H A Dstate.c99 .faultDeathNotifyBadge = CONSERV_ASYNC_NOTIFY_BADGE | CONSERV_ASYNC_BADGE_MASK
/seL4-refos-master/apps/console_server/src/
H A Dstate.c99 .faultDeathNotifyBadge = CONSERV_ASYNC_NOTIFY_BADGE | CONSERV_ASYNC_BADGE_MASK
/seL4-refos-master/libs/librefos/src/refos-util/
H A Dserv_common.c160 s->notifyClientFaultDeathAsyncEP = srv_mint(config.faultDeathNotifyBadge, s->notifyAsyncEP);
/seL4-refos-master/projects/refos/impl/libs/librefos/src/refos-util/
H A Dserv_common.c160 s->notifyClientFaultDeathAsyncEP = srv_mint(config.faultDeathNotifyBadge, s->notifyAsyncEP);

Completed in 83 milliseconds