Searched defs:tls_base (Results 1 - 19 of 19) sorted by relevance

/seL4-camkes-master/projects/sel4runtime/include/sel4_arch/ia32/sel4runtime/
H A Dthread_arch.h29 static inline void sel4runtime_set_tls_base(sel4runtime_uintptr_t tls_base) argument
/seL4-camkes-master/projects/sel4runtime/include/arch/riscv/sel4runtime/
H A Dthread_arch.h41 static inline void sel4runtime_set_tls_base(sel4runtime_uintptr_t tls_base) argument
/seL4-camkes-master/kernel/include/arch/arm/arch/
H A Dmachine.h76 static inline exception_t Arch_setTLSRegister(word_t tls_base) argument
80 setRegister(NODE_STATE(ksCurThread), TLS_BASE, tls_base); local
/seL4-camkes-master/projects/sel4runtime/include/sel4_arch/x86_64/sel4runtime/
H A Dthread_arch.h51 static inline void sel4runtime_set_tls_base(sel4runtime_uintptr_t tls_base) argument
72 static inline void sel4runtime_set_tls_base(sel4runtime_uintptr_t tls_base) argument
/seL4-camkes-master/projects/sel4runtime/include/sel4_arch/arm_hyp/sel4runtime/
H A Dthread_arch.h41 static inline void sel4runtime_set_tls_base(sel4runtime_uintptr_t tls_base) argument
72 static inline void sel4runtime_set_tls_base(sel4runtime_uintptr_t tls_base) argument
/seL4-camkes-master/projects/sel4runtime/include/sel4_arch/aarch32/sel4runtime/
H A Dthread_arch.h41 static inline void sel4runtime_set_tls_base(sel4runtime_uintptr_t tls_base) argument
72 static inline void sel4runtime_set_tls_base(sel4runtime_uintptr_t tls_base) argument
/seL4-camkes-master/projects/sel4runtime/include/sel4_arch/aarch64/sel4runtime/
H A Dthread_arch.h47 static inline void sel4runtime_set_tls_base(sel4runtime_uintptr_t tls_base) argument
/seL4-camkes-master/kernel/include/arch/x86/arch/32/mode/
H A Dmachine.h182 static inline void x86_set_tls_segment_base(word_t tls_base) argument
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/
H A Dthread.c175 uintptr_t tls_base = (uintptr_t)thread->initial_stack_pointer - tls_size; local
/seL4-camkes-master/kernel/include/arch/x86/arch/64/mode/
H A Dmachine.h332 static inline void x86_set_tls_segment_base(word_t tls_base) argument
/seL4-camkes-master/projects/camkes-tool/camkes/templates/
H A Dcomponent.common.c536 uintptr_t tls_base = sel4runtime_write_tls_image(tls_mem); local
/seL4-camkes-master/kernel/include/arch/riscv/arch/
H A Dmachine.h267 static inline void Arch_setTLSRegister(word_t tls_base) argument
270 setRegister(NODE_STATE(ksCurThread), TLS_BASE, tls_base); local
/seL4-camkes-master/kernel/libsel4/arch_include/arm/sel4/arch/
H A Dsyscalls.h783 LIBSEL4_INLINE_FUNC void seL4_SetTLSBase(seL4_Word tls_base) argument
/seL4-camkes-master/kernel/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/
H A Dsyscalls.h800 LIBSEL4_INLINE_FUNC void seL4_SetTLSBase(seL4_Word tls_base) argument
/seL4-camkes-master/projects/sel4runtime/src/
H A Denv.c32 sel4runtime_uintptr_t tls_base; member in struct:__anon5
174 sel4runtime_uintptr_t tls_base = sel4runtime_write_tls_image(tls_memory); local
380 sel4runtime_uintptr_t tls_base = (sel4runtime_uintptr_t)tls_region; local
387 tls_from_tls_base(sel4runtime_uintptr_t tls_base) argument
[all...]
/seL4-camkes-master/kernel/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/
H A Dsyscalls.h1013 LIBSEL4_INLINE_FUNC void seL4_SetTLSBase(seL4_Word tls_base) argument
/seL4-camkes-master/kernel/libsel4/arch_include/riscv/sel4/arch/
H A Dsyscalls.h984 LIBSEL4_INLINE_FUNC void seL4_SetTLSBase(seL4_Word tls_base) argument
/seL4-camkes-master/kernel/include/arch/x86/arch/
H A Dmachine.h370 static inline exception_t Arch_setTLSRegister(word_t tls_base) argument
384 setRegister(NODE_STATE(ksCurThread), TLS_BASE, tls_base); local
/seL4-camkes-master/kernel/src/object/
H A Dtcb.c746 static exception_t invokeSetTLSBase(tcb_t *thread, word_t tls_base) argument
760 word_t tls_base; local

Completed in 306 milliseconds