Searched defs:usage (Results 1 – 2 of 2) sorted by relevance

/seL4-master/include/kernel/
A D	sporadic.h	102 static inline ticks_t refill_capacity(sched_context_t *sc, ticks_t usage) in refill_capacity() 115 static inline bool_t refill_sufficient(sched_context_t *sc, ticks_t usage) in refill_sufficient()
/seL4-master/src/kernel/
A D	sporadic.c	252 void refill_budget_check(ticks_t usage) in refill_budget_check()

Completed in 5 milliseconds

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