Searched defs:sc (Results 1 – 12 of 12) sorted by relevance
29 static exception_t decodeSchedContext_UnbindObject(sched_context_t *sc) in decodeSchedContext_UnbindObject()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()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()372 void schedContext_unbindNtfn(sched_context_t *sc) in schedContext_unbindNtfn()[all …]
45 sched_context_t *sc = SC_PTR(notification_ptr_get_ntfnSchedContext(ntfnPtr)); in maybeDonateSchedContext() local113 … sched_context_t *sc = SC_PTR(notification_ptr_get_ntfnSchedContext(ntfnPtr)); in sendSignal() local314 sched_context_t *sc = SC_PTR(notification_ptr_get_ntfnSchedContext(ntfnPtr)); in completeSignal() local
192 sched_context_t *sc = SC_PTR(tcb->tcbSchedContext); in finaliseCap() local220 sched_context_t *sc = SC_PTR(cap_sched_context_cap_get_capSCPtr(cap)); in finaliseCap() local
1314 sched_context_t *sc = NULL; in decodeSetSchedParams() local1831 sched_context_t *sc, in invokeTCB_ThreadControlSched()
49 UNUSED static inline void refill_print(sched_context_t *sc) in refill_print()65 static UNUSED bool_t refill_ordered(sched_context_t *sc) in refill_ordered()87 #define REFILL_SANITY_CHECK(sc, budget) \ argument92 #define REFILL_SANITY_END(sc) \ argument97 #define REFILL_SANITY_START(sc) argument98 #define REFILL_SANITY_CHECK(sc, budget) argument99 #define REFILL_SANITY_END(sc) argument103 static UNUSED ticks_t refill_sum(sched_context_t *sc) in refill_sum()117 static inline refill_t refill_pop_head(sched_context_t *sc) in refill_pop_head()254 sched_context_t *sc = NODE_STATE(ksCurSC); in refill_budget_check() local[all …]
568 void postpone(sched_context_t *sc) in postpone()
52 static inline refill_t *refill_index(sched_context_t *sc, word_t index) in refill_index()56 static inline refill_t *refill_head(sched_context_t *sc) in refill_head()60 static inline refill_t *refill_tail(sched_context_t *sc) in refill_tail()79 static inline word_t refill_size(sched_context_t *sc) in refill_size()89 static inline bool_t refill_full(sched_context_t *sc) in refill_full()95 static inline bool_t refill_single(sched_context_t *sc) in refill_single()126 static inline bool_t refill_ready(sched_context_t *sc) in refill_ready()135 static inline bool_t sc_active(sched_context_t *sc) in sc_active()144 static inline bool_t sc_released(sched_context_t *sc) in sc_released()160 static inline bool_t sc_sporadic(sched_context_t *sc) in sc_sporadic()[all …]
113 static inline bool_t PURE isRoundRobin(sched_context_t *sc) in isRoundRobin()
107 pptr_t sc; member
26 sched_context_t *sc = SC_PTR(notification_ptr_get_ntfnSchedContext(ntfnPtr)); in maybeReturnSchedContext() local
110 #define REFILL_INDEX(sc, index) (((refill_t *) (SC_REF(sc) + sizeof(sched_context_t)))[index]) argument111 #define REFILL_HEAD(sc) REFILL_INDEX((sc), (sc)->scRefillHead) argument113 static inline ticks_t sc_get_budget(sched_context_t *sc) in sc_get_budget()128 sched_context_t *sc = SC_PTR(cap_sched_context_cap_get_capSCPtr(sc_cap)); in obj_sc_print_attrs() local
182 sched_context_t *sc = NODE_STATE(ksCurThread)->tcbSchedContext; in fastpath_call() local453 sched_context_t *sc = NODE_STATE(ksCurThread)->tcbSchedContext; in fastpath_reply_recv() local
Completed in 25 milliseconds