Home
last modified time | relevance | path

Searched refs:reply_unlink (Results 1 – 3 of 3) sorted by relevance

/seL4-master/src/object/
A Dreply.c85 reply_unlink(reply, tcb); in reply_pop()
111 reply_unlink(reply, tcb); in reply_remove()
136 reply_unlink(reply, tcb); in reply_remove_tcb()
A Dendpoint.c88 reply_unlink(reply, dest); in sendIPC()
345 reply_unlink(reply, tptr); in cancelIPC()
400 reply_unlink(reply, thread); in cancelAllIPC()
/seL4-master/include/object/
A Dreply.h14 static inline void reply_unlink(reply_t *reply, tcb_t *tcb) in reply_unlink() function

Completed in 5 milliseconds