Searched refs:chargeBudget (Results 1 - 4 of 4) sorted by relevance
/seL4-test-master/kernel/include/kernel/ |
H A D | thread.h | 224 void chargeBudget(ticks_t consumed, bool_t canTimeoutFault, word_t core, bool_t isCurCPU); 267 chargeBudget(NODE_STATE(ksConsumed), true, CURRENT_CPU_INDEX(), true);
|
/seL4-test-master/kernel/src/object/ |
H A D | schedcontrol.c | 38 chargeBudget(NODE_STATE_ON_CORE(ksConsumed, target->scCore), false, target->scCore, false);
|
/seL4-test-master/kernel/src/api/ |
H A D | syscall.c | 597 chargeBudget(NODE_STATE(ksConsumed), false, CURRENT_CPU_INDEX(), true); 612 chargeBudget(refill_head(NODE_STATE(ksCurSC))->rAmount, false, CURRENT_CPU_INDEX(), true);
|
/seL4-test-master/kernel/src/kernel/ |
H A D | thread.c | 582 void chargeBudget(ticks_t consumed, bool_t canTimeoutFault, word_t core, bool_t isCurCPU) function
|
Completed in 83 milliseconds