l4_types.h File Reference

#include "types.h"

Go to the source code of this file.

Typedefs
typedef Unsigned32	Task_num
	Type for task numbers.
typedef Unsigned32	LThread_num
	Type for thread numbers (task local).
typedef Unsigned32	GThread_num
	Type for global thread numbers.
typedef L4_uid	Global_id
typedef void	Utcb
	Dummy type, needed to hold code in Thread generic.
typedef L4_uid	Local_id

---

Typedef Documentation

typedef L4_uid Global_id

typedef Unsigned32 GThread_num

Type for global thread numbers.

typedef L4_uid Local_id

typedef Unsigned32 LThread_num

Type for thread numbers (task local).

typedef Unsigned32 Task_num

Type for task numbers.

typedef void Utcb

Dummy type, needed to hold code in Thread generic.

---