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

/seL4-master/src/kernel/
A D	sporadic.c	206 refill_t new = { .rAmount = (new_budget - refill_head(sc)->rAmount), in refill_update() local 215 static inline void schedule_used(sched_context_t *sc, refill_t new) in schedule_used()
/seL4-master/src/arch/arm/object/
A D	vcpu.c	232 void vcpu_switch(vcpu_t *new) in vcpu_switch()

Completed in 5 milliseconds

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