| /seL4-l4v-10.1.1/seL4/include/arch/arm/arch/kernel/ |
| H A D | traps.h | 33 setRegister(NODE_STATE(ksCurThread), TLS_BASE, readTPIDRURO()); local
|
| /seL4-l4v-10.1.1/seL4/include/arch/x86/arch/32/mode/machine/ |
| H A D | registerset.h | 47 /* 0x30 */ TLS_BASE = 12, enumerator in enum:_register
|
| /seL4-l4v-10.1.1/seL4/src/arch/arm/32/ |
| H A D | c_traps.c | 43 writeTPIDRURO(getRegister(NODE_STATE(ksCurThread), TLS_BASE));
|
| /seL4-l4v-10.1.1/seL4/src/arch/arm/32/kernel/ |
| H A D | thread.c | 25 armKSGlobalsFrame[1] = getRegister(tcb, TLS_BASE);
|
| /seL4-l4v-10.1.1/seL4/src/arch/x86/machine/ |
| H A D | registerset.c | 19 context->registers[TLS_BASE] = 0;
|
| /seL4-l4v-10.1.1/seL4/include/arch/arm/arch/32/mode/fastpath/ |
| H A D | fastpath.h | 65 armKSGlobalsFrame[1] = getRegister(thread, TLS_BASE);
139 writeTPIDRURO(getRegister(NODE_STATE(ksCurThread), TLS_BASE));
|
| /seL4-l4v-10.1.1/seL4/include/arch/riscv/arch/machine/ |
| H A D | registerset.h | 38 TLS_BASE = tp, enumerator in enum:_register
|
| /seL4-l4v-10.1.1/seL4/include/arch/x86/arch/64/mode/machine/ |
| H A D | registerset.h | 60 TLS_BASE = 17, /* 0x88 */ enumerator in enum:_register
|
| /seL4-l4v-10.1.1/seL4/src/arch/x86/32/machine/ |
| H A D | registerset.c | 27 TLS_BASE, FS, GS
|
| /seL4-l4v-10.1.1/seL4/src/arch/x86/64/machine/ |
| H A D | registerset.c | 27 TLS_BASE
|
| /seL4-l4v-10.1.1/seL4/include/arch/arm/arch/32/mode/machine/ |
| H A D | registerset.h | 98 TLS_BASE = 18, enumerator in enum:_register
|
| /seL4-l4v-10.1.1/seL4/include/arch/arm/arch/64/mode/machine/ |
| H A D | registerset.h | 146 TLS_BASE = 35, enumerator in enum:_register
|
| /seL4-l4v-10.1.1/seL4/src/arch/x86/32/ |
| H A D | c_traps.c | 147 word_t base = getRegister(NODE_STATE(ksCurThread), TLS_BASE);
|
| H A D | traps.S | 16 # leaving the stack pointer pointing to TLS_BASE. The kernel pushes the rest.
23 subl $4, %esp; /* skip TLS_BASE */ \
373 /* Skip FaultIP, TLS_BASE and error-code. */
427 /* Skip FaultIP, TLS_BASE and error-code. */
513 subl $4, %esp # skip TLS_BASE
|
| /seL4-l4v-10.1.1/seL4/include/arch/x86/arch/32/mode/fastpath/ |
| H A D | fastpath.h | 123 word_t base = getRegister(cur_thread, TLS_BASE);
|
| /seL4-l4v-10.1.1/seL4/include/arch/x86/arch/64/mode/fastpath/ |
| H A D | fastpath.h | 176 word_t base = getRegister(cur_thread, TLS_BASE);
216 // Skip TLS_BASE FaultIP
|
| /seL4-l4v-10.1.1/seL4/src/arch/x86/64/ |
| H A D | c_traps.c | 183 word_t base = getRegister(cur_thread, TLS_BASE);
246 // Skip TLS_BASE, FaultIP
350 /* skip RFLAGS, Error NextIP RSP, TLS_BASE, FaultIP */
|
| H A D | traps.S | 74 * syscall trap) we skip 7 registers (SS, CS, RCX, R11, FaultIP, TLS_BASE
109 /* skip FaultIP TLS_BASE, RSP, NextIP, Error, RFLAGS */ \
164 /* we need to not skip RSP, TLS_BASE, FaultIP, R11 and RCX for now */ \
491 /* skip RFLAGS, Error NextIP RSP, TLS_BASE, FaultIP */
553 /* skip RFLAGS, Error NextIP RSP, TLS_BASE, FaultIP */
631 /* We need to save r11, rdx TLS_BASE and RSP */
637 subq $8, %rsp # skip TLS_BASE
|
| /seL4-l4v-10.1.1/seL4/src/object/ |
| H A D | tcb.c | 666 setRegister(thread, TLS_BASE, tls_base);
669 * to the TLS_BASE are realized */
|