Searched refs:bmk_current (Results 1 - 8 of 8) sorted by relevance

/seL4-camkes-master/tools/rumprun/lib/libbmk_core/
H A Dsched.c105 __thread struct bmk_thread *bmk_current; variable in typeref:struct:bmk_thread
228 struct bmk_thread *thread = bmk_current;
308 prev = bmk_current;
418 return (void *)bmk_current->bt_tcb.btcb_tp;
502 struct bmk_thread *thread = bmk_current;
542 bmk_sched_tls_free((void *)bmk_current->bt_tcb.btcb_tp);
550 struct bmk_thread *thread = bmk_current;
601 struct bmk_thread *thread = bmk_current;
623 struct bmk_thread *thread = bmk_current;
662 * bmk_sched (avoids confusion with bmk_current)
[all...]
/seL4-camkes-master/tools/rumprun/include/bmk-core/
H A Dsched.h82 extern __thread struct bmk_thread *bmk_current;
/seL4-camkes-master/tools/rumprun/platform/sel4/
H A Dkernel.c60 bmk_current,
/seL4-camkes-master/tools/rumprun/platform/xen/xen/arch/x86/
H A Dsched.c55 if(thread == bmk_current)
H A Dtraps.c38 minios_printk("Thread: %s\n", bmk_sched_threadname(bmk_current));
/seL4-camkes-master/tools/rumprun/platform/xen/xen/include/mini-os/
H A Dwait.h14 .thread = bmk_current, \
/seL4-camkes-master/tools/rumprun/lib/libbmk_rumpuser/
H A Drumpuser_synch.c58 w.who = bmk_current;
175 if (mtx->bmk_o == bmk_current) {
183 mtx->bmk_o = bmk_current;
/seL4-camkes-master/tools/rumprun/platform/xen/librumpnet_xenif/
H A Dxenif_user.c118 viu->viu_rcvr = bmk_current;

Completed in 46 milliseconds