Searched refs:jw_thread (Results 1 - 1 of 1) sorted by relevance
| /seL4-camkes-master/tools/rumprun/lib/libbmk_core/ | ||
| H A D | sched.c | 493 struct bmk_thread *jw_thread; member in struct:join_waiter 515 bmk_sched_wake(jw_iter->jw_thread); 560 jw.jw_thread = thread; |
Completed in 82 milliseconds