l4_threadid_struct_t Struct Reference
[Unique ids]

L4 thread id structure. More...

#include <types.h>

Data Fields
unsigned	version_low:10
	Version0.
unsigned	lthread:7
	Thread number.
unsigned	task:11
	Task number.
unsigned	version_high:4
	Version1.

---

Detailed Description

L4 thread id structure.

Definition at line 33 of file ARCH-x86/L4API-l4v2/types.h.

---

The documentation for this struct was generated from the following file:

• ARCH-x86/L4API-l4v2/types.h