Searched refs:BLOCKTIME_MAX (Results 1 - 1 of 1) sorted by relevance
/seL4-camkes-master/tools/rumprun/lib/libbmk_core/ | ||
H A D | sched.c | 49 #define BLOCKTIME_MAX (1*1000*1000*1000) macro 318 waketime = curtime + BLOCKTIME_MAX; |
Completed in 50 milliseconds