Searched defs:REFILL_INDEX (Results 1 - 1 of 1) sorted by relevance
/seL4-mcs-10.1.1/include/kernel/ | ||
H A D | sporadic.h | 44 #define REFILL_INDEX(sc, index) (((refill_t *) (SC_REF(sc) + sizeof(sched_context_t)))[index]) macro |
Completed in 77 milliseconds