Searched refs:TLS_BASE (Results 1 – 10 of 10) sorted by relevance
| /seL4-master/include/arch/x86/arch/64/mode/machine/ |
| A D | registerset.h | 69 TLS_BASE = FS_BASE, enumerator
137 [seL4_TimeoutReply_TLS_BASE] = TLS_BASE,\
|
| /seL4-master/include/arch/x86/arch/32/mode/machine/ |
| A D | registerset.h | 58 TLS_BASE = GS_BASE, enumerator
|
| /seL4-master/include/arch/arm/arch/ |
| A D | machine.h | 73 setRegister(NODE_STATE(ksCurThread), TLS_BASE, tls_base); in Arch_setTLSRegister()
|
| /seL4-master/include/arch/riscv/arch/machine/ |
| A D | registerset.h | 25 TLS_BASE = tp, enumerator
|
| /seL4-master/include/arch/riscv/arch/ |
| A D | machine.h | 282 setRegister(NODE_STATE(ksCurThread), TLS_BASE, tls_base); in Arch_setTLSRegister()
|
| /seL4-master/include/arch/arm/arch/32/mode/machine/ |
| A D | registerset.h | 103 TLS_BASE = TPIDRURW, enumerator
|
| /seL4-master/include/arch/x86/arch/ |
| A D | machine.h | 367 word_t sanitised = Mode_sanitiseRegister(TLS_BASE, tls_base); in Arch_setTLSRegister()
379 setRegister(NODE_STATE(ksCurThread), TLS_BASE, tls_base); in Arch_setTLSRegister()
|
| /seL4-master/include/arch/arm/arch/64/mode/machine/ |
| A D | registerset.h | 145 TLS_BASE = TPIDR_EL0, enumerator
|
| /seL4-master/ |
| A D | config.cmake | 470 # Builds the kernel with support for an invocation to set the TLS_BASE
|
| /seL4-master/src/object/ |
| A D | tcb.c | 748 setRegister(thread, TLS_BASE, tls_base); in invokeSetTLSBase()
|
Completed in 19 milliseconds