/seL4-camkes-master/kernel/src/kernel/ |
H A D | sporadic.c | 35 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 D | sporadic.h | 43 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 D | schedcontext.c | 10 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 D | notification.c | 45 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 D | objecttype.c | 217 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.s | 6 sc 8 sc
|
H A D | clone.s | 40 sc label 47 # compare sc result with 0 62 sc label
|
/seL4-camkes-master/projects/musllibc/src/thread/powerpc64/ |
H A D | __unmapself.s | 6 sc 8 sc
|
H A D | clone.s | 29 sc 47 sc
|
H A D | syscall_cp.s | 28 sc
|
/seL4-camkes-master/kernel/include/object/ |
H A D | schedcontext.h | 17 * @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 D | notification.h | 26 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 D | pppoe.c | 145 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 D | restore.s | 5 sc 11 sc
|
/seL4-camkes-master/projects/musllibc/src/signal/powerpc64/ |
H A D | restore.s | 5 sc 11 sc
|
/seL4-camkes-master/tools/rumprun/platform/xen/librumpnet_xenif/ |
H A D | if_virt.c | 84 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 D | mcs_api.h | 103 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 D | syscall.s | 12 sc
|
/seL4-camkes-master/projects/musllibc/src/internal/powerpc64/ |
H A D | syscall.s | 12 sc
|
/seL4-camkes-master/kernel/src/machine/ |
H A D | capdl.c | 107 #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 D | fastpath.c | 184 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 D | erfl.c | 222 /* 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 D | capdl.h | 26 void obj_sc_print_attrs(cap_t sc);
|
/seL4-camkes-master/projects/camkes-tool/camkes/templates/ |
H A D | macros.py | 434 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 D | guest_vm.h | 103 * @param {vka_object_t} sc VKA allocated scheduling context 109 vka_object_t sc; member in struct:vm_tcb
|