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

/seL4-mcs-10.1.1/src/object/
H A Dnotification.c49 maybeDonateSchedContext(tcb_t *tcb, notification_t *ntfnPtr) function
81 maybeDonateSchedContext(tcb, ntfnPtr);
94 maybeDonateSchedContext(tcb, ntfnPtr);
135 maybeDonateSchedContext(dest, ntfnPtr);
193 maybeDonateSchedContext(thread, ntfnPtr);

Completed in 34 milliseconds