Searched refs:cancelSignal (Results 1 - 3 of 3) sorted by relevance

/seL4-test-master/kernel/include/object/
H A Dnotification.h15 void cancelSignal(tcb_t *threadPtr, notification_t *ntfnPtr);
/seL4-test-master/kernel/src/object/
H A Dnotification.c231 void cancelSignal(tcb_t *threadPtr, notification_t *ntfnPtr) function
235 /* Haskell error "cancelSignal: notification object must be in a waiting" state */
H A Dendpoint.c337 cancelSignal(tptr,

Completed in 30 milliseconds