Home
last modified time | relevance | path

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

/seL4-master/src/kernel/
A Dsporadic.c274 refill_t old_head = refill_pop_head(sc); in refill_budget_check() local
275 old_head.rTime += sc->scPeriod; in refill_budget_check()
276 schedule_used(sc, old_head); in refill_budget_check()
335 refill_t old_head = refill_pop_head(sc); in refill_unblock_check() local
336 refill_head(sc)->rTime = old_head.rTime; in refill_unblock_check()
337 refill_head(sc)->rAmount += old_head.rAmount; in refill_unblock_check()

Completed in 3 milliseconds