Searched refs:sc (Results 26 - 35 of 35) sorted by relevance

12

/seL4-refos-master/kernel/src/object/
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...]
H A Dtcb.c1317 sched_context_t *sc = NULL; local
1320 sc = SC_PTR(cap_sched_context_cap_get_capSCPtr(scCap));
1326 if (sc->scTcb) {
1359 sc,
1831 sched_context_t *sc,
1851 if (sc != NULL && sc != target->tcbSchedContext) {
1852 schedContext_bindTCB(sc, target);
1853 } else if (sc == NULL && target->tcbSchedContext != NULL) {
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-refos-master/kernel/include/kernel/
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);
H A Dboot.h122 pptr_t sc; member in struct:__anon15
/seL4-refos-master/libs/libmuslc/src/thread/powerpc/
H A Dsyscall_cp.s52 sc
/seL4-refos-master/kernel/src/kernel/
H A Dthread.c559 void postpone(sched_context_t *sc) argument
561 tcbSchedDequeue(sc->scTcb);
562 tcbReleaseEnqueue(sc->scTcb);
563 NODE_STATE_ON_CORE(ksReprogram, sc->scCore) = true;
H A Dboot.c216 rootserver.sc = alloc_rootserver_obj(seL4_MinSchedContextBits, 1);
444 printf("Kernel init failed: Unable to allocate sc for idle thread\n");
494 if (!configure_sched_context(tcb, SC_PTR(rootserver.sc), usToTicks(CONFIG_BOOT_THREAD_TIME_SLICE * US_IN_MS), 0)) {
/seL4-refos-master/kernel/include/object/
H A Dtcb.h200 sched_context_t *sc,
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/
H A Dpickup.c2031 static NEARDATA const char sc[] = "Schroedinger's Cat"; local
2053 (void) christen_monst(livecat, sc);
2056 box->ox, box->oy, sc);
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/
H A Dpickup.c2031 static NEARDATA const char sc[] = "Schroedinger's Cat"; local
2053 (void) christen_monst(livecat, sc);
2056 box->ox, box->oy, sc);

Completed in 167 milliseconds

12