schedcontext.c - OpenGrok cross reference for /seL4-master/src/object/schedcontext.c

Lines Matching defs:sc
13 static exception_t invokeSchedContext_UnbindObject(sched_context_t *sc, cap_t cap)  in invokeSchedContext_UnbindObject()
29 static exception_t decodeSchedContext_UnbindObject(sched_context_t *sc)  in decodeSchedContext_UnbindObject()
71 static exception_t invokeSchedContext_Bind(sched_context_t *sc, cap_t cap)  in invokeSchedContext_Bind()
87 static exception_t decodeSchedContext_Bind(sched_context_t *sc)  in decodeSchedContext_Bind()
142 static exception_t invokeSchedContext_Unbind(sched_context_t *sc)  in invokeSchedContext_Unbind()
154 static inline void maybeStallSC(sched_context_t *sc)  in maybeStallSC()
162 static inline void setConsumed(sched_context_t *sc, word_t *buffer)  in setConsumed()
169 static exception_t invokeSchedContext_Consumed(sched_context_t *sc, word_t *buffer)  in invokeSchedContext_Consumed()
175 static exception_t invokeSchedContext_YieldTo(sched_context_t *sc, word_t *buffer)  in invokeSchedContext_YieldTo()
216 static exception_t decodeSchedContext_YieldTo(sched_context_t *sc, word_t *buffer)  in decodeSchedContext_YieldTo()
253     sched_context_t *sc = SC_PTR(cap_sched_context_cap_get_capSCPtr(cap));  in decodeSchedContextInvocation()  local
284 void schedContext_resume(sched_context_t *sc)  in schedContext_resume()
295 void schedContext_bindTCB(sched_context_t *sc, tcb_t *tcb)  in schedContext_bindTCB()
320 void schedContext_unbindTCB(sched_context_t *sc, tcb_t *tcb)  in schedContext_unbindTCB()
336 void schedContext_unbindAllTCBs(sched_context_t *sc)  in schedContext_unbindAllTCBs()
344 void schedContext_donate(sched_context_t *sc, tcb_t *to)  in schedContext_donate()
366 void schedContext_bindNtfn(sched_context_t *sc, notification_t *ntfn)  in schedContext_bindNtfn()
372 void schedContext_unbindNtfn(sched_context_t *sc)  in schedContext_unbindNtfn()
380 time_t schedContext_updateConsumed(sched_context_t *sc)  in schedContext_updateConsumed()