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

/seL4-mcs-10.1.1/include/object/
H A Dnotification.h24 void bindNotification(tcb_t *tcb, notification_t *ntfnPtr);
/seL4-mcs-10.1.1/src/object/
H A Dnotification.c283 bindNotification(tcb_t *tcb, notification_t *ntfnPtr) function
H A Dtcb.c1766 bindNotification(tcb, ntfnPtr);

Completed in 35 milliseconds