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.

Detailed Description

ARM-specific thread related definitions.

Definition in file thread.h.