L4Re Operating System Framework
Interface and Usage Documentation
|
ARM-specific thread related definitions. More...
Go to the source code of this file.
Enumerations | |
enum | L4_thread_ex_regs_flags_arm { L4_THREAD_EX_REGS_ARM_SET_EL_MASK = 0x3 << 24 , L4_THREAD_EX_REGS_ARM_SET_EL_KEEP = 0x0 << 24 , L4_THREAD_EX_REGS_ARM_SET_EL_EL0 = 0x1 << 24 , L4_THREAD_EX_REGS_ARM_SET_EL_EL1 = 0x2 << 24 } |
Arm specific L4::Thread::ex_regs() flags. More... | |
Functions | |
l4_msgtag_t | l4_thread_arm_set_tpidruro (l4_cap_idx_t thread, l4_addr_t tpidruro) L4_NOTHROW |
Set the TPIDRURO thread specific register. | |
ARM-specific thread related definitions.
Definition in file thread.h.