Home
last modified time | relevance | path

Searched defs:sc (Results 1 – 12 of 12) sorted by relevance

/seL4-master/src/object/
A Dschedcontext.c29 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 …]
A Dnotification.c45 sched_context_t *sc = SC_PTR(notification_ptr_get_ntfnSchedContext(ntfnPtr)); in maybeDonateSchedContext() local
113 … sched_context_t *sc = SC_PTR(notification_ptr_get_ntfnSchedContext(ntfnPtr)); in sendSignal() local
314 sched_context_t *sc = SC_PTR(notification_ptr_get_ntfnSchedContext(ntfnPtr)); in completeSignal() local
A Dobjecttype.c192 sched_context_t *sc = SC_PTR(tcb->tcbSchedContext); in finaliseCap() local
220 sched_context_t *sc = SC_PTR(cap_sched_context_cap_get_capSCPtr(cap)); in finaliseCap() local
A Dtcb.c1314 sched_context_t *sc = NULL; in decodeSetSchedParams() local
1831 sched_context_t *sc, in invokeTCB_ThreadControlSched()
/seL4-master/src/kernel/
A Dsporadic.c49 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) \ argument
92 #define REFILL_SANITY_END(sc) \ argument
97 #define REFILL_SANITY_START(sc) argument
98 #define REFILL_SANITY_CHECK(sc, budget) argument
99 #define REFILL_SANITY_END(sc) argument
103 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 …]
A Dthread.c568 void postpone(sched_context_t *sc) in postpone()
/seL4-master/include/kernel/
A Dsporadic.h52 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 …]
A Dthread.h113 static inline bool_t PURE isRoundRobin(sched_context_t *sc) in isRoundRobin()
A Dboot.h107 pptr_t sc; member
/seL4-master/include/object/
A Dnotification.h26 sched_context_t *sc = SC_PTR(notification_ptr_get_ntfnSchedContext(ntfnPtr)); in maybeReturnSchedContext() local
/seL4-master/src/machine/
A Dcapdl.c110 #define REFILL_INDEX(sc, index) (((refill_t *) (SC_REF(sc) + sizeof(sched_context_t)))[index]) argument
111 #define REFILL_HEAD(sc) REFILL_INDEX((sc), (sc)->scRefillHead) argument
113 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
/seL4-master/src/fastpath/
A Dfastpath.c182 sched_context_t *sc = NODE_STATE(ksCurThread)->tcbSchedContext; in fastpath_call() local
453 sched_context_t *sc = NODE_STATE(ksCurThread)->tcbSchedContext; in fastpath_reply_recv() local

Completed in 25 milliseconds