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

/seL4-test-master/kernel/include/object/
H A Dreply.h30 void reply_remove(reply_t *reply, tcb_t *tcb);
/seL4-test-master/kernel/src/object/
H A Dreply.c91 void reply_remove(reply_t *reply, tcb_t *tcb) function
H A Dobjecttype.c142 reply_remove(reply, reply->replyTCB);
/seL4-test-master/kernel/src/kernel/
H A Dthread.c137 reply_remove(reply, receiver);

Completed in 28 milliseconds