Searched defs:TLS_BASE (Results 1 - 8 of 8) sorted by relevance
| /seL4-camkes-master/kernel/include/arch/arm/arch/ |
| H A D | machine.h | 80 setRegister(NODE_STATE(ksCurThread), TLS_BASE, tls_base); local
|
| /seL4-camkes-master/kernel/include/arch/x86/arch/32/mode/machine/ |
| H A D | registerset.h | 58 TLS_BASE = GS_BASE, enumerator in enum:_register
|
| /seL4-camkes-master/kernel/include/arch/x86/arch/64/mode/machine/ |
| H A D | registerset.h | 69 TLS_BASE = FS_BASE, enumerator in enum:_register
|
| /seL4-camkes-master/kernel/include/arch/riscv/arch/ |
| H A D | machine.h | 270 setRegister(NODE_STATE(ksCurThread), TLS_BASE, tls_base); local
|
| /seL4-camkes-master/kernel/include/arch/arm/arch/32/mode/machine/ |
| H A D | registerset.h | 110 TLS_BASE = TPIDRURW, enumerator in enum:_register
|
| /seL4-camkes-master/kernel/include/arch/riscv/arch/machine/ |
| H A D | registerset.h | 25 TLS_BASE = tp, enumerator in enum:_register
|
| /seL4-camkes-master/kernel/include/arch/arm/arch/64/mode/machine/ |
| H A D | registerset.h | 145 TLS_BASE = TPIDR_EL0, enumerator in enum:_register
|
| /seL4-camkes-master/kernel/include/arch/x86/arch/ |
| H A D | machine.h | 384 setRegister(NODE_STATE(ksCurThread), TLS_BASE, tls_base); local
|
Completed in 155 milliseconds