Searched refs:isCurCPU (Results 1 - 2 of 2) sorted by relevance

/seL4-test-master/kernel/include/kernel/
H A Dthread.h224 void chargeBudget(ticks_t consumed, bool_t canTimeoutFault, word_t core, bool_t isCurCPU);
/seL4-test-master/kernel/src/kernel/
H A Dthread.c582 void chargeBudget(ticks_t consumed, bool_t canTimeoutFault, word_t core, bool_t isCurCPU) argument
596 if (isCurCPU && likely(isSchedulable(NODE_STATE_ON_CORE(ksCurThread, core)))) {

Completed in 75 milliseconds