Searched refs:initcurrent (Results 1 - 1 of 1) sorted by relevance
/seL4-camkes-master/tools/rumprun/lib/libbmk_core/ | ||
H A D | sched.c | 433 initcurrent(void *tcb, struct bmk_thread *value) function 467 initcurrent(tlsarea, thread); |
Completed in 32 milliseconds