Searched refs:tls_base (Results 1 - 22 of 22) 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
31 seL4_SetTLSBase(tls_base);
/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
43 sel4runtime_write_tp(tls_base);
/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
53 sel4runtime_write_fs_base(tls_base);
72 static inline void sel4runtime_set_tls_base(sel4runtime_uintptr_t tls_base) argument
74 seL4_SetTLSBase(tls_base);
/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
43 sel4runtime_write_tpidr_el0(tls_base);
72 static inline void sel4runtime_set_tls_base(sel4runtime_uintptr_t tls_base) argument
74 seL4_SetTLSBase(tls_base);
/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
43 sel4runtime_write_tpidr_el0(tls_base);
72 static inline void sel4runtime_set_tls_base(sel4runtime_uintptr_t tls_base) argument
74 seL4_SetTLSBase(tls_base);
/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
49 sel4runtime_write_tpidr_el0(tls_base);
/seL4-camkes-master/projects/sel4runtime/src/
H A Denv.c32 sel4runtime_uintptr_t tls_base; member in struct:__anon5
105 static unsigned char *tls_from_tls_base(sel4runtime_uintptr_t tls_base);
174 sel4runtime_uintptr_t tls_base = sel4runtime_write_tls_image(tls_memory); local
175 if (tls_base == (sel4runtime_uintptr_t)SEL4RUNTIME_NULL) {
179 sel4runtime_set_tls_base(tls_base);
185 env.initial_thread_tls_base = tls_base;
374 lookup->tls_base = tls_base_from_tls_region(tls_region);
380 sel4runtime_uintptr_t tls_base = (sel4runtime_uintptr_t)tls_region; local
382 tls_base += env.tls.memory_size;
384 return ROUND_UP(tls_base, en
387 tls_from_tls_base(sel4runtime_uintptr_t tls_base) argument
[all...]
/seL4-camkes-master/projects/sel4runtime/include/
H A Dsel4runtime.h60 static inline void sel4runtime_set_tls_base(sel4runtime_uintptr_t tls_base);
/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/kernel/libsel4/include/sel4/
H A Dsyscalls.h387 * @param tls_base The new base address to store in the register.
390 seL4_SetTLSBase(seL4_Word tls_base);
/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
184 x86_write_gs_base(tls_base, SMP_TERNARY(getCurrentCPUIndex(), 0));
/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/include/arch/x86/arch/
H A Dmachine.h367 static inline void x86_set_tls_segment_base(word_t tls_base);
370 static inline exception_t Arch_setTLSRegister(word_t tls_base) argument
372 word_t sanitised = Mode_sanitiseRegister(TLS_BASE, tls_base);
374 if (sanitised != tls_base) {
384 setRegister(NODE_STATE(ksCurThread), TLS_BASE, tls_base); 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
334 x86_write_fs_base(tls_base, SMP_TERNARY(getCurrentCPUIndex(), 0));
/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
176 uintptr_t tp = (uintptr_t)sel4runtime_write_tls_image((void *)tls_base);
180 uintptr_t aligned_stack_pointer = ALIGN_DOWN(tls_base, STACK_CALL_ALIGNMENT);
/seL4-camkes-master/projects/camkes-tool/camkes/templates/
H A Dcomponent.common.c536 uintptr_t tls_base = sel4runtime_write_tls_image(tls_mem); local
537 sel4runtime_set_tls_base(tls_base);
538 ZF_LOGF_IF(!tls_base, "Failed to write new tls");
/seL4-camkes-master/kernel/src/api/
H A Dsyscall.c317 word_t tls_base = getRegister(NODE_STATE(ksCurThread), capRegister);
323 return Arch_setTLSRegister(tls_base);
/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
785 arm_sys_send_null(seL4_SysSetTLSBase, tls_base, 0);
/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
1015 x86_sys_send_null(seL4_SysSetTLSBase, tls_base, 0);
/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
802 x64_sys_send_null(seL4_SysSetTLSBase, tls_base, 0);
/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
986 riscv_sys_send_null(seL4_SysSetTLSBase, tls_base, 0);
/seL4-camkes-master/kernel/src/object/
H A Dtcb.c746 static exception_t invokeSetTLSBase(tcb_t *thread, word_t tls_base) argument
748 setRegister(thread, TLS_BASE, tls_base);
760 word_t tls_base; local
768 tls_base = getSyscallArg(0, buffer);
771 return invokeSetTLSBase(TCB_PTR(cap_thread_cap_get_capTCBPtr(cap)), tls_base);

Completed in 106 milliseconds