Searched refs:completeSignal (Results 1 - 4 of 4) sorted by relevance

/seL4-mcs-10.1.1/include/object/
H A Dnotification.h21 void completeSignal(notification_t *ntfnPtr, tcb_t *tcb);
/seL4-mcs-10.1.1/src/arch/x86/
H A Dc_traps.c117 completeSignal(NODE_STATE(ksCurThread)->tcbBoundNotification, NODE_STATE(ksCurThread));
/seL4-mcs-10.1.1/src/object/
H A Dnotification.c240 completeSignal(notification_t *ntfnPtr, tcb_t *tcb) function
H A Dendpoint.c129 completeSignal(ntfnPtr, thread);

Completed in 32 milliseconds