Searched refs:tcb_caller (Results 1 - 2 of 2) sorted by relevance

/seL4-mcs-10.1.1/src/object/
H A Dreply.c15 reply_push(tcb_t *tcb_caller, tcb_t *tcb_callee, reply_t *reply, bool_t canDonate) argument
17 sched_context_t *sc_donated = tcb_caller->tcbSchedContext;
19 assert(tcb_caller != NULL);
32 assert(thread_state_get_replyObject(tcb_caller->tcbState) == 0);
40 reply->replyTCB = tcb_caller;
41 thread_state_ptr_set_replyObject(&tcb_caller->tcbState, REPLY_REF(reply));
42 setThreadState(tcb_caller, ThreadState_BlockedOnReply);
/seL4-mcs-10.1.1/include/object/
H A Dreply.h32 void reply_push(tcb_t *tcb_caller, tcb_t *tcb_callee, reply_t *reply, bool_t canDonate);

Completed in 28 milliseconds