Searched defs:REFILL_SANITY_CHECK (Results 1 - 1 of 1) sorted by relevance
| /seL4-mcs-10.1.1/src/kernel/ | ||
| H A D | sporadic.c | 92 #define REFILL_SANITY_CHECK(sc, budget) \ macro 103 #define REFILL_SANITY_CHECK(sc, budget) macro |
Completed in 73 milliseconds