/seL4-camkes-master/projects/sel4runtime/include/sel4_arch/ia32/sel4runtime/ |
H A D | thread_arch.h | 29 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 D | thread_arch.h | 41 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 D | thread_arch.h | 51 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 D | thread_arch.h | 41 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 D | thread_arch.h | 41 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 D | thread_arch.h | 47 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 D | env.c | 32 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 D | sel4runtime.h | 60 static inline void sel4runtime_set_tls_base(sel4runtime_uintptr_t tls_base);
|
/seL4-camkes-master/kernel/include/arch/arm/arch/ |
H A D | machine.h | 76 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 D | syscalls.h | 387 * @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 D | machine.h | 182 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 D | machine.h | 267 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 D | machine.h | 367 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 D | machine.h | 332 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 D | thread.c | 175 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 D | component.common.c | 536 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 D | syscall.c | 317 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 D | syscalls.h | 783 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 D | syscalls.h | 1013 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 D | syscalls.h | 800 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 D | syscalls.h | 984 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 D | tcb.c | 746 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);
|