L4Re - L4 Runtime Environment
thread.h File Reference

ARM-specific thread related definitions. More...

Go to the source code of this file.

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. More...
 

Detailed Description

ARM-specific thread related definitions.

Definition in file thread.h.