seL4/libsel4/include
Adrian Danis e20e8e05ac SELFOUR-823: Provide TCB invocation for setting TLS_BASE
This provides a common invocation for all architectures for setting their respective
TLS_BASE virtual register. As you frequently want to modify your *own* TLS_BASE, and
doing read/write registers to modify your own registers is tricky to impossible
depending on which register and how they are ordered in seL4_UserContext, this is a
separate invocation.
2018-07-03 13:34:59 +10:00
..
api x86: Dangerous read/write MSR interface 2018-01-17 16:35:39 +11:00
interfaces SELFOUR-823: Provide TCB invocation for setting TLS_BASE 2018-07-03 13:34:59 +10:00
sel4 manual: s/Polling Send/Non-Blocking Send 2018-05-08 14:50:36 +10:00