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

/seL4-camkes-master/kernel/include/object/
H A Dcnode.h48 void setupReplyMaster(tcb_t *thread);
/seL4-camkes-master/kernel/src/kernel/
H A Dthread.c99 setupReplyMaster(target);
H A Dboot.c503 setupReplyMaster(tcb);
/seL4-camkes-master/kernel/src/object/
H A Dcnode.c759 void setupReplyMaster(tcb_t *thread) function

Completed in 42 milliseconds