Searched defs:MAX_BUDGET_US (Results 1 - 1 of 1) sorted by relevance
/seL4-test-master/kernel/include/kernel/ | ||
H A D | sporadic.h | 37 #define MAX_BUDGET_US (CONFIG_KERNEL_STATIC_MAX_BUDGET_US) macro 39 #define MAX_BUDGET_US getMaxUsToTicks() macro |
Completed in 27 milliseconds