Searched refs:sc (Results 26 - 35 of 35) sorted by relevance
12
/seL4-refos-master/kernel/src/object/ |
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...] |
H A D | tcb.c | 1317 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 D | thread.h | 113 static inline bool_t PURE isRoundRobin(sched_context_t *sc) 115 return sc->scPeriod == 0; 297 void postpone(sched_context_t *sc);
|
H A D | boot.h | 122 pptr_t sc; member in struct:__anon15
|
/seL4-refos-master/libs/libmuslc/src/thread/powerpc/ |
H A D | syscall_cp.s | 52 sc
|
/seL4-refos-master/kernel/src/kernel/ |
H A D | thread.c | 559 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 D | boot.c | 216 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 D | tcb.h | 200 sched_context_t *sc,
|
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/ |
H A D | pickup.c | 2031 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 D | pickup.c | 2031 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