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

/seL4-test-master/kernel/src/object/
H A Dreply.c11 sched_context_t *sc_donated = tcb_caller->tcbSchedContext; local
33 if (sc_donated != NULL && tcb_callee->tcbSchedContext == NULL && canDonate) {
34 reply_t *old_caller = sc_donated->scReply;
38 SC_PTR(call_stack_get_callStackPtr(old_caller->replyNext)) == sc_donated);
45 reply->replyNext = call_stack_new(SC_REF(sc_donated), true);
46 sc_donated->scReply = reply;
49 schedContext_donate(sc_donated, tcb_callee);

Completed in 24 milliseconds