Lines Matching defs:core
582 void chargeBudget(ticks_t consumed, bool_t canTimeoutFault, word_t core, bool_t isCurCPU)
585 if (isRoundRobin(NODE_STATE_ON_CORE(ksCurSC, core))) {
586 assert(refill_size(NODE_STATE_ON_CORE(ksCurSC, core)) == MIN_REFILLS);
587 refill_head(NODE_STATE_ON_CORE(ksCurSC, core))->rAmount += refill_tail(NODE_STATE_ON_CORE(ksCurSC, core))->rAmount;
588 refill_tail(NODE_STATE_ON_CORE(ksCurSC, core))->rAmount = 0;
593 assert(refill_head(NODE_STATE_ON_CORE(ksCurSC, core))->rAmount >= MIN_BUDGET);
594 NODE_STATE_ON_CORE(ksCurSC, core)->scConsumed += consumed;
595 NODE_STATE_ON_CORE(ksConsumed, core) = 0;
596 if (isCurCPU && likely(isSchedulable(NODE_STATE_ON_CORE(ksCurThread, core)))) {
674 /* threads should wake up on the correct core */