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

/seL4-l4v-10.1.1/seL4/include/object/
H A Dcnode.h44 void setupReplyMaster(tcb_t *thread);
/seL4-l4v-10.1.1/seL4/src/kernel/
H A Dthread.c94 setupReplyMaster(target);
H A Dboot.c460 setupReplyMaster(tcb);
/seL4-l4v-10.1.1/seL4/src/object/
H A Dcnode.c775 setupReplyMaster(tcb_t *thread) function

Completed in 80 milliseconds