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

/seL4-mcs-10.1.1/include/object/
H A Dnotification.h23 void unbindNotification(tcb_t *tcb);
/seL4-mcs-10.1.1/src/object/
H A Dnotification.c272 unbindNotification(tcb_t *tcb) function
H A Dobjecttype.c174 unbindNotification(tcb);
H A Dtcb.c1768 unbindNotification(tcb);

Completed in 34 milliseconds