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

/seL4-mcs-10.1.1/src/object/
H A Dreply.c17 sched_context_t *sc_donated = tcb_caller->tcbSchedContext; local
44 if (sc_donated != NULL && canDonate) {
47 reply_t *old_caller = sc_donated->scReply;
51 SC_PTR(call_stack_get_callStackPtr(old_caller->replyNext)) == sc_donated);
58 reply->replyNext = call_stack_new(SC_REF(sc_donated), true);
59 sc_donated->scReply = reply;
62 schedContext_donate(sc_donated, tcb_callee);

Completed in 23 milliseconds