Searched refs:bmk_sched_threadname (Results 1 - 3 of 3) sorted by relevance

/seL4-camkes-master/tools/rumprun/include/bmk-core/
H A Dsched.h85 const char *bmk_sched_threadname(struct bmk_thread *);
/seL4-camkes-master/tools/rumprun/platform/xen/xen/arch/x86/
H A Dtraps.c38 minios_printk("Thread: %s\n", bmk_sched_threadname(bmk_current));
/seL4-camkes-master/tools/rumprun/lib/libbmk_core/
H A Dsched.c687 bmk_sched_threadname(struct bmk_thread *thread) function

Completed in 34 milliseconds