Searched refs:sc (Results 1 - 25 of 31) sorted by relevance

12

/seL4-test-master/kernel/src/kernel/
H A Dsporadic.c35 static inline word_t refill_next(sched_context_t *sc, word_t index) argument
37 return (index == sc->scRefillMax - 1u) ? (0) : index + 1u;
42 UNUSED static inline void print_index(sched_context_t *sc, word_t index) argument
45 printf("index %lu, Amount: %llx, time %llx\n", index, refill_index(sc, index)->rAmount,
46 refill_index(sc, index)->rTime);
49 UNUSED static inline void refill_print(sched_context_t *sc) argument
51 printf("Head %lu tail %lu\n", sc->scRefillHead, sc->scRefillTail);
52 word_t current = sc->scRefillHead;
54 print_index(sc, curren
65 refill_ordered(sched_context_t *sc) argument
99 refill_sum(sched_context_t *sc) argument
113 refill_pop_head(sched_context_t *sc) argument
129 refill_add_tail(sched_context_t *sc, refill_t refill) argument
142 maybe_add_empty_tail(sched_context_t *sc) argument
153 refill_new(sched_context_t *sc, word_t max_refills, ticks_t budget, ticks_t period, word_t core) argument
171 refill_update(sched_context_t *sc, ticks_t new_period, ticks_t new_budget, word_t new_max_refills) argument
211 schedule_used(sched_context_t *sc, refill_t new) argument
225 ensure_sufficient_head(sched_context_t *sc) argument
239 sched_context_t *sc = NODE_STATE(ksCurSC); local
289 sched_context_t *sc = NODE_STATE(ksCurSC); local
334 refill_unblock_check_mergable(sched_context_t *sc) argument
342 refill_unblock_check(sched_context_t *sc) argument
[all...]
/seL4-test-master/kernel/include/kernel/
H A Dsporadic.h43 static inline refill_t *refill_index(sched_context_t *sc, word_t index) argument
45 return ((refill_t *)(SC_REF(sc) + sizeof(sched_context_t))) + index;
47 static inline refill_t *refill_head(sched_context_t *sc) argument
49 return refill_index(sc, sc->scRefillHead);
51 static inline refill_t *refill_tail(sched_context_t *sc) argument
53 return refill_index(sc, sc->scRefillTail);
70 static inline word_t refill_size(sched_context_t *sc) argument
72 if (sc
80 refill_full(sched_context_t *sc) argument
86 refill_single(sched_context_t *sc) argument
93 refill_capacity(sched_context_t *sc, ticks_t usage) argument
106 refill_sufficient(sched_context_t *sc, ticks_t usage) argument
117 refill_ready(sched_context_t *sc) argument
[all...]
H A Dthread.h113 static inline bool_t PURE isRoundRobin(sched_context_t *sc)
115 return sc->scPeriod == 0;
297 void postpone(sched_context_t *sc);
/seL4-test-master/kernel/src/object/
H A Dschedcontext.c10 static exception_t invokeSchedContext_UnbindObject(sched_context_t *sc, cap_t cap) argument
14 schedContext_unbindTCB(sc, sc->scTcb);
17 schedContext_unbindNtfn(sc);
26 static exception_t decodeSchedContext_UnbindObject(sched_context_t *sc, extra_caps_t extraCaps) argument
37 if (sc->scTcb != TCB_PTR(cap_thread_cap_get_capTCBPtr(cap))) {
42 if (sc->scTcb == NODE_STATE(ksCurThread)) {
43 userError("SchedContext UnbindObject: cannot unbind sc of current thread");
49 if (sc->scNotification != NTFN_PTR(cap_notification_cap_get_capNtfnPtr(cap))) {
65 return invokeSchedContext_UnbindObject(sc, ca
68 invokeSchedContext_Bind(sched_context_t *sc, cap_t cap) argument
84 decodeSchedContext_Bind(sched_context_t *sc, extra_caps_t extraCaps) argument
127 invokeSchedContext_Unbind(sched_context_t *sc) argument
139 maybeStallSC(sched_context_t *sc) argument
147 setConsumed(sched_context_t *sc, word_t *buffer) argument
154 invokeSchedContext_Consumed(sched_context_t *sc, word_t *buffer) argument
160 invokeSchedContext_YieldTo(sched_context_t *sc, word_t *buffer) argument
202 decodeSchedContext_YieldTo(sched_context_t *sc, word_t *buffer) argument
229 sched_context_t *sc = SC_PTR(cap_sched_context_cap_get_capSCPtr(cap)); local
260 schedContext_resume(sched_context_t *sc) argument
271 schedContext_bindTCB(sched_context_t *sc, tcb_t *tcb) argument
293 schedContext_unbindTCB(sched_context_t *sc, tcb_t *tcb) argument
309 schedContext_unbindAllTCBs(sched_context_t *sc) argument
317 schedContext_donate(sched_context_t *sc, tcb_t *to) argument
338 schedContext_bindNtfn(sched_context_t *sc, notification_t *ntfn) argument
344 schedContext_unbindNtfn(sched_context_t *sc) argument
352 schedContext_updateConsumed(sched_context_t *sc) argument
[all...]
H A Dnotification.c45 sched_context_t *sc = SC_PTR(notification_ptr_get_ntfnSchedContext(ntfnPtr)); local
46 if (sc != NULL && sc->scTcb == NULL) {
47 schedContext_donate(sc, tcb);
48 if (sc != NODE_STATE(ksCurSC)) {
54 refill_unblock_check(sc);
56 schedContext_resume(sc);
H A Dobjecttype.c217 sched_context_t *sc = SC_PTR(cap_sched_context_cap_get_capSCPtr(cap)); local
218 schedContext_unbindAllTCBs(sc);
219 schedContext_unbindNtfn(sc);
220 if (sc->scReply) {
221 assert(call_stack_get_isHead(sc->scReply->replyNext));
222 sc->scReply->replyNext = call_stack_new(0, false);
223 sc->scReply = NULL;
225 if (sc->scYieldFrom) {
226 schedContext_completeYieldTo(sc->scYieldFrom);
228 /* mark the sc a
[all...]
/seL4-test-master/projects/musllibc/src/thread/powerpc/
H A D__unmapself.s6 sc
8 sc
H A Dclone.s40 sc label
47 # compare sc result with 0
62 sc label
H A Dsyscall_cp.s52 sc
/seL4-test-master/projects/musllibc/src/thread/powerpc64/
H A D__unmapself.s6 sc
8 sc
H A Dclone.s29 sc
47 sc
H A Dsyscall_cp.s28 sc
/seL4-test-master/kernel/include/object/
H A Dschedcontext.h17 * @param sc the scheduling context to bind
21 * tcb->tcbSchedContext == NULL && sc->scTcb == NULL
22 * @post tcb->tcbSchedContext == sc && sc->scTcb == tcb
24 void schedContext_bindTCB(sched_context_t *sc, tcb_t *tcb);
29 * @param sc scheduling context to unbind
32 * @pre the tcb is bound to the sc,
33 * (sc->scTcb == tcb && tcb->tcbSchedContext == sc);
34 * @post (tcb->tcbSchedContext == NULL && sc
[all...]
H A Dnotification.h26 sched_context_t *sc = SC_PTR(notification_ptr_get_ntfnSchedContext(ntfnPtr)); local
27 if (sc == tcb->tcbSchedContext) {
29 sc->scTcb = NULL;
/seL4-test-master/projects/musllibc/src/signal/powerpc/
H A Drestore.s5 sc
11 sc
/seL4-test-master/projects/musllibc/src/signal/powerpc64/
H A Drestore.s5 sc
11 sc
/seL4-test-master/projects/seL4_libs/libsel4utils/include/sel4utils/
H A Dmcs_api.h103 UNUSED seL4_CPtr sc, seL4_CPtr cspace,
115 if (!error && sc != seL4_CapNull) {
116 error = seL4_SchedContext_Bind(sc, tcb);
126 seL4_Word mcp, UNUSED seL4_CPtr sc, UNUSED seL4_CPtr ep)
129 return seL4_TCB_SetSchedParams(tcb, auth, mcp, prio, sc, ep);
143 static inline seL4_Error api_sc_bind(UNUSED seL4_CPtr sc, UNUSED seL4_CPtr tcb) argument
149 return seL4_SchedContext_Bind(sc, tcb);
153 static inline seL4_Error api_sc_unbind_object(UNUSED seL4_CPtr sc, UNUSED seL4_CPtr tcb) argument
159 return seL4_SchedContext_UnbindObject(sc, tcb);
163 static inline seL4_Error api_sc_unbind(UNUSED seL4_CPtr sc) argument
102 api_tcb_configure(seL4_CPtr tcb, seL4_CPtr ep, UNUSED seL4_CPtr timeout_ep, UNUSED seL4_CPtr sc, seL4_CPtr cspace, seL4_Word cdata, seL4_CPtr vspace, seL4_Word vdata, seL4_Word ipc_buffer_addr, seL4_CPtr ipc_buffer_cap) argument
125 api_tcb_set_sched_params(seL4_CPtr tcb, seL4_CPtr auth, seL4_Word prio, seL4_Word mcp, UNUSED seL4_CPtr sc, UNUSED seL4_CPtr ep) argument
173 api_sc_consumed(UNUSED seL4_CPtr sc) argument
185 api_sched_ctrl_configure(UNUSED seL4_CPtr sched_ctrl, UNUSED seL4_CPtr sc, UNUSED uint64_t budget, UNUSED uint64_t period, UNUSED seL4_Word refills, UNUSED seL4_Word badge) argument
[all...]
/seL4-test-master/projects/musllibc/src/internal/powerpc/
H A Dsyscall.s12 sc
/seL4-test-master/projects/musllibc/src/internal/powerpc64/
H A Dsyscall.s12 sc
/seL4-test-master/kernel/src/machine/
H A Dcapdl.c107 #define REFILL_INDEX(sc, index) (((refill_t *) (SC_REF(sc) + sizeof(sched_context_t)))[index])
108 #define REFILL_HEAD(sc) REFILL_INDEX((sc), (sc)->scRefillHead)
110 static inline ticks_t sc_get_budget(sched_context_t *sc) argument
112 ticks_t sum = REFILL_HEAD(sc).rAmount;
113 word_t current = sc->scRefillHead;
115 while (current != sc->scRefillTail) {
116 current = ((current == sc
125 sched_context_t *sc = SC_PTR(cap_sched_context_cap_get_capSCPtr(sc_cap)); local
[all...]
/seL4-test-master/kernel/src/fastpath/
H A Dfastpath.c184 sched_context_t *sc = NODE_STATE(ksCurThread)->tcbSchedContext; local
185 sc->scTcb = dest;
186 dest->tcbSchedContext = sc;
189 reply_t *old_caller = sc->scReply;
190 reply->replyPrev = call_stack_new(REPLY_REF(sc->scReply), false);
194 reply->replyNext = call_stack_new(SC_REF(sc), true);
195 sc->scReply = reply;
457 sched_context_t *sc = NODE_STATE(ksCurThread)->tcbSchedContext; local
459 caller->tcbSchedContext = sc;
460 sc
[all...]
/seL4-test-master/projects/musllibc/src/math/
H A Derfl.c222 /* erfc(1/x) = x exp (-1/x^2 - 0.5625 + rc(x^2)/sc(x^2))
233 sc[] = { variable
277 S = sc[0] + s * (sc[1] + s * (sc[2] + s * (sc[3] +
278 s * (sc[4] + s))));
/seL4-test-master/kernel/include/machine/
H A Dcapdl.h26 void obj_sc_print_attrs(cap_t sc);
/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/
H A Dschedcontext.c29 seL4_CPtr sc = sched_context.cptr; local
30 test_neq(sc, (seL4_Word)seL4_CapNull);
33 error = api_sched_ctrl_configure(simple_get_sched_ctrl(&env->simple, 0), sc, 5000llu, 5000llu, 0, 0);
44 error = api_sched_ctrl_configure(simple_get_sched_ctrl(&env->simple, 0), sc, 0llu, 5000llu, 0, 0);
48 error = api_sched_ctrl_configure(simple_get_sched_ctrl(&env->simple, 0), sc, 0llu, 0llu, 0, 0);
52 error = api_sched_ctrl_configure(simple_get_sched_ctrl(&env->simple, 0), sc, 5000llu, 1000llu, 0, 0);
77 seL4_CPtr sc = thread.thread.sched_context.cptr; local
80 error = api_sched_ctrl_configure(simple_get_sched_ctrl(&env->simple, 0), sc, 5000llu, 5000llu, 0, 0);
90 error = api_sched_ctrl_configure(simple_get_sched_ctrl(&env->simple, 0), sc, 10000llu, 10000llu, 0, 0);
97 error = api_sched_ctrl_configure(simple_get_sched_ctrl(&env->simple, 0), sc, 300
[all...]
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/include/sel4vm/
H A Dguest_vm.h103 * @param {vka_object_t} sc VKA allocated scheduling context
109 vka_object_t sc; member in struct:vm_tcb

Completed in 91 milliseconds

12