Searched refs:empty_tail (Results 1 - 1 of 1) sorted by relevance
/seL4-l4v-master/seL4/src/kernel/ | ||
H A D | sporadic.c | 146 refill_t empty_tail = { .rTime = NODE_STATE(ksCurTime)}; local 147 refill_add_tail(sc, empty_tail); |
Completed in 80 milliseconds