Searched refs:seL4_DebugNameThread (Results 1 - 9 of 9) sorted by relevance
/seL4-camkes-master/kernel/libsel4/include/sel4/ |
H A D | syscalls.h | 120 seL4_DebugNameThread(seL4_CPtr tcb, const char *name);
|
/seL4-camkes-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
H A D | thread.h | 34 #define NAME_THREAD(_tcbcap, _name) seL4_DebugNameThread(_tcbcap, _name);
|
/seL4-camkes-master/projects/sel4runtime/src/ |
H A D | env.c | 191 seL4_DebugNameThread(env.initial_thread_tcb, env.process_name);
|
/seL4-camkes-master/projects/camkes-tool/camkes/templates/ |
H A D | component.common.c | 561 seL4_DebugNameThread(camkes_get_tls()->tcb_cap, thread_name);
|
/seL4-camkes-master/kernel/libsel4/arch_include/arm/sel4/arch/ |
H A D | syscalls.h | 633 LIBSEL4_INLINE_FUNC void seL4_DebugNameThread(seL4_CPtr tcb, const char *name) function
|
/seL4-camkes-master/kernel/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/ |
H A D | syscalls.h | 866 LIBSEL4_INLINE_FUNC void seL4_DebugNameThread(seL4_CPtr tcb, const char *name) function
|
/seL4-camkes-master/kernel/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/ |
H A D | syscalls.h | 662 LIBSEL4_INLINE_FUNC void seL4_DebugNameThread(seL4_CPtr tcb, const char *name) function
|
/seL4-camkes-master/kernel/libsel4/arch_include/riscv/sel4/arch/ |
H A D | syscalls.h | 838 LIBSEL4_INLINE_FUNC void seL4_DebugNameThread(seL4_CPtr tcb, const char *name) function
|
/seL4-camkes-master/projects/capdl/capdl-loader-app/src/ |
H A D | main.c | 1163 (void)seL4_DebugNameThread(sel4_tcb, safe_name);
|
Completed in 128 milliseconds