Searched refs:scConsumed (Results 1 – 5 of 5) sorted by relevance

/seL4-master/src/object/
A D	schedcontext.c	382 ticks_t consumed = sc->scConsumed; in schedContext_updateConsumed() 384 sc->scConsumed -= getMaxTicksToUs(); in schedContext_updateConsumed() 387 sc->scConsumed = 0; in schedContext_updateConsumed()
/seL4-master/include/kernel/
A D	thread.h	146 NODE_STATE(ksCurSC)->scConsumed += NODE_STATE(ksConsumed); in commitTime()
/seL4-master/include/object/
A D	structures.h	348 ticks_t scConsumed; member
/seL4-master/src/api/
A D	syscall.c	605 ticks_t consumed = NODE_STATE(ksCurSC)->scConsumed + NODE_STATE(ksConsumed); in handleYield() 608 NODE_STATE(ksCurSC)->scConsumed = consumed; in handleYield()
/seL4-master/src/kernel/
A D	thread.c	603 NODE_STATE_ON_CORE(ksCurSC, core)->scConsumed += consumed; in chargeBudget()

Completed in 8 milliseconds

Last Index update Sun Aug 20 00:18:20 CST 2023