Searched refs:notifyAsyncEP (Results 1 - 12 of 12) sorted by relevance

/seL4-refos-master/projects/refos/impl/apps/timer_server/src/
H A Dstate.c71 .notifyAsyncEP = timeServCommon->notifyAsyncEP,
/seL4-refos-master/apps/timer_server/src/
H A Dstate.c71 .notifyAsyncEP = timeServCommon->notifyAsyncEP,
/seL4-refos-master/libs/librefos/src/refos-util/
H A Ddevice_irq.c40 if (!config.notifyAsyncEP) {
84 assert(irqState->cfg.notifyAsyncEP);
86 irqState->cfg.notifyAsyncEP);
H A Dserv_common.c152 s->notifyAsyncEP = proc_new_async_endpoint();
153 if (!s->notifyAsyncEP) {
160 s->notifyClientFaultDeathAsyncEP = srv_mint(config.faultDeathNotifyBadge, s->notifyAsyncEP);
168 int error = seL4_TCB_BindNotification(REFOS_THREAD_TCB, s->notifyAsyncEP);
/seL4-refos-master/projects/refos/impl/libs/librefos/src/refos-util/
H A Ddevice_irq.c40 if (!config.notifyAsyncEP) {
84 assert(irqState->cfg.notifyAsyncEP);
86 irqState->cfg.notifyAsyncEP);
H A Dserv_common.c152 s->notifyAsyncEP = proc_new_async_endpoint();
153 if (!s->notifyAsyncEP) {
160 s->notifyClientFaultDeathAsyncEP = srv_mint(config.faultDeathNotifyBadge, s->notifyAsyncEP);
168 int error = seL4_TCB_BindNotification(REFOS_THREAD_TCB, s->notifyAsyncEP);
/seL4-refos-master/projects/refos/impl/apps/console_server/src/
H A Dstate.c111 .notifyAsyncEP = conServCommon->notifyAsyncEP,
/seL4-refos-master/apps/console_server/src/
H A Dstate.c111 .notifyAsyncEP = conServCommon->notifyAsyncEP,
/seL4-refos-master/libs/librefos/include/refos-util/
H A Ddevice_irq.h78 seL4_CPtr notifyAsyncEP; member in struct:dev_irq_config
H A Dserv_common.h106 seL4_CPtr notifyAsyncEP; member in struct:srv_common
/seL4-refos-master/projects/refos/impl/libs/librefos/include/refos-util/
H A Ddevice_irq.h78 seL4_CPtr notifyAsyncEP; member in struct:dev_irq_config
H A Dserv_common.h106 seL4_CPtr notifyAsyncEP; member in struct:srv_common

Completed in 103 milliseconds