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

/seL4-test-master/kernel/include/object/
H A Dnotification.h18 void unbindNotification(tcb_t *tcb);
/seL4-test-master/kernel/src/object/
H A Dnotification.c284 void unbindNotification(tcb_t *tcb) function
H A Dobjecttype.c190 unbindNotification(tcb);
H A Dtcb.c2032 unbindNotification(tcb);

Completed in 215 milliseconds