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

12

/seL4-camkes-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-camkes-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...]
/seL4-camkes-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-camkes-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
/seL4-camkes-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-camkes-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-camkes-master/projects/lwip/src/netif/ppp/
H A Dpppoe.c145 static err_t pppoe_xmit(struct pppoe_softc *sc, struct pbuf *pb);
177 struct pppoe_softc *sc; local
182 sc = (struct pppoe_softc *)LWIP_MEMPOOL_ALLOC(PPPOE_IF);
183 if (sc == NULL) {
187 ppp = ppp_new(pppif, &pppoe_callbacks, sc, link_status_cb, ctx_cb);
189 LWIP_MEMPOOL_FREE(PPPOE_IF, sc);
193 memset(sc, 0, sizeof(struct pppoe_softc));
194 sc->pcb = ppp;
195 sc->sc_ethif = ethif;
197 sc
204 struct pppoe_softc *sc = (struct pppoe_softc *)ctx; local
246 struct pppoe_softc *sc = (struct pppoe_softc *)ctx; local
290 struct pppoe_softc *sc = (struct pppoe_softc *)ctx; local
324 struct pppoe_softc *sc; local
339 struct pppoe_softc *sc, *t; local
377 struct pppoe_softc *sc; local
655 struct pppoe_softc *sc; local
721 pppoe_output(struct pppoe_softc *sc, struct pbuf *pb) argument
755 pppoe_send_padi(struct pppoe_softc *sc) argument
821 struct pppoe_softc *sc = (struct pppoe_softc*)arg; local
891 struct pppoe_softc *sc = (struct pppoe_softc *)ctx; local
948 struct pppoe_softc *sc = (struct pppoe_softc *)ctx; local
971 pppoe_abort_connect(struct pppoe_softc *sc) argument
980 pppoe_send_padr(struct pppoe_softc *sc) argument
1070 pppoe_send_pado(struct pppoe_softc *sc) argument
1100 pppoe_send_pads(struct pppoe_softc *sc) argument
1138 pppoe_xmit(struct pppoe_softc *sc, struct pbuf *pb) argument
[all...]
/seL4-camkes-master/projects/musllibc/src/signal/powerpc/
H A Drestore.s5 sc
11 sc
/seL4-camkes-master/projects/musllibc/src/signal/powerpc64/
H A Drestore.s5 sc
11 sc
/seL4-camkes-master/tools/rumprun/platform/xen/librumpnet_xenif/
H A Dif_virt.c84 struct virtif_sc *sc; local
97 sc = kmem_zalloc(sizeof(*sc), KM_SLEEP);
99 if ((error = VIFHYPER_CREATE(num, sc, enaddr, &viu)) != 0) {
100 kmem_free(sc, sizeof(*sc));
103 sc->sc_viu = viu;
105 ifp = &sc->sc_ec.ec_if;
107 ifp->if_softc = sc;
132 struct virtif_sc *sc local
180 struct virtif_sc *sc = ifp->if_softc; local
219 rump_virtif_pktdeliver(struct virtif_sc *sc, struct iovec *iov, size_t iovlen) argument
[all...]
/seL4-camkes-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-camkes-master/projects/musllibc/src/internal/powerpc/
H A Dsyscall.s12 sc
/seL4-camkes-master/projects/musllibc/src/internal/powerpc64/
H A Dsyscall.s12 sc
/seL4-camkes-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-camkes-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-camkes-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-camkes-master/kernel/include/machine/
H A Dcapdl.h26 void obj_sc_print_attrs(cap_t sc);
/seL4-camkes-master/projects/camkes-tool/camkes/templates/
H A Dmacros.py434 def set_sc_properties(sc, options, configuration, prefix):
435 sc.period = options.default_period
436 sc.budget = options.default_budget
437 sc.data = options.default_data
438 sc.size_bits = options.default_size_bits
440 maybe_set_property_from_configuration(configuration, prefix, sc, 'period', 'period')
441 maybe_set_property_from_configuration(configuration, prefix, sc, 'budget', 'budget')
442 maybe_set_property_from_configuration(configuration, prefix, sc, 'data', 'data')
443 maybe_set_property_from_configuration(configuration, prefix, sc, 'size_bits', 'size_bits')
/seL4-camkes-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 214 milliseconds

12