Searched refs:bmk_sched_create_withtls (Results 1 - 3 of 3) sorted by relevance
| /seL4-camkes-master/tools/rumprun/include/bmk-core/ |
| H A D | sched.h | 51 struct bmk_thread *bmk_sched_create_withtls(const char *, void *, int,
|
| /seL4-camkes-master/tools/rumprun/lib/libbmk_core/ |
| H A D | sched.c | 439 bmk_sched_create_withtls(const char *name, void *cookie, int joinable, function
488 return bmk_sched_create_withtls(name, cookie, joinable, f, data,
|
| /seL4-camkes-master/tools/rumprun/lib/librumprun_base/ |
| H A D | _lwp.c | 116 rl->rl_thread = bmk_sched_create_withtls("lwp", rl, 0,
|
Completed in 85 milliseconds