| /seL4-camkes-master/kernel/include/object/ |
| H A D | notification.h | 26 sched_context_t *sc = SC_PTR(notification_ptr_get_ntfnSchedContext(ntfnPtr)); local
|
| /seL4-camkes-master/projects/musllibc/src/thread/powerpc/ |
| H A D | clone.s | 40 sc label
62 sc label
|
| /seL4-camkes-master/projects/musllibc/src/math/ |
| H A D | erfl.c | 233 sc[] = { variable
|
| /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
47 static inline refill_t *refill_head(sched_context_t *sc) argument
51 static inline refill_t *refill_tail(sched_context_t *sc) argument
70 static inline word_t refill_size(sched_context_t *sc) argument
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 D | boot.h | 122 pptr_t sc; member in struct:__anon15
|
| /seL4-camkes-master/kernel/src/fastpath/ |
| H A D | fastpath.c | 184 sched_context_t *sc = NODE_STATE(ksCurThread)->tcbSchedContext; local
457 sched_context_t *sc = NODE_STATE(ksCurThread)->tcbSchedContext; local
[all...] |
| /seL4-camkes-master/tools/rumprun/platform/xen/librumpnet_xenif/ |
| H A D | if_virt.c | 84 struct virtif_sc *sc; local
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/kernel/src/object/ |
| H A D | schedcontext.c | 10 static exception_t invokeSchedContext_UnbindObject(sched_context_t *sc, cap_t cap) argument
26 static exception_t decodeSchedContext_UnbindObject(sched_context_t *sc, extra_caps_t extraCaps) argument
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
|
| H A D | objecttype.c | 217 sched_context_t *sc = SC_PTR(cap_sched_context_cap_get_capSCPtr(cap)); local
[all...] |
| H A D | tcb.c | 1317 sched_context_t *sc = NULL; local
1828 invokeTCB_ThreadControlSched(tcb_t *target, cte_t *slot, cap_t fh_newCap, cte_t *fh_srcSlot, prio_t mcp, prio_t priority, sched_context_t *sc, thread_control_flag_t updateFlags) argument
|
| /seL4-camkes-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
| H A D | mcs_api.h | 143 static inline seL4_Error api_sc_bind(UNUSED seL4_CPtr sc, UNUSED seL4_CPtr tcb) argument
153 static inline seL4_Error api_sc_unbind_object(UNUSED seL4_CPtr sc, UNUSED seL4_CPtr tcb) argument
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/kernel/src/kernel/ |
| H A D | sporadic.c | 35 static inline word_t refill_next(sched_context_t *sc, word_t index) argument
42 UNUSED static inline void print_index(sched_context_t *sc, word_t index) argument
49 UNUSED static inline void refill_print(sched_context_t *sc) argument
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...] |
| H A D | thread.c | 559 void postpone(sched_context_t *sc) argument
|
| /seL4-camkes-master/kernel/src/machine/ |
| H A D | capdl.c | 110 static inline ticks_t sc_get_budget(sched_context_t *sc) argument
125 sched_context_t *sc = SC_PTR(cap_sched_context_cap_get_capSCPtr(sc_cap)); local
[all...] |
| /seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/include/sel4vm/ |
| H A D | guest_vm.h | 109 vka_object_t sc; member in struct:vm_tcb
|
| /seL4-camkes-master/projects/lwip/src/netif/ppp/ |
| H A D | pppoe.c | 177 struct pppoe_softc *sc; local
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/capdl/capdl-loader-app/src/ |
| H A D | main.c | 975 static void init_sc(CDL_Model *spec, CDL_ObjID sc, CDL_Core affinity) argument
|