Unique ids
[Datatypes, Defines and Macros]

Data Structures
struct	l4_ipc_deceit_ids_t
	Structure used to describe destination and true source if a chief wants to deceit. More...
struct	l4_threadid_struct_t
	L4 thread id structure. More...
union	l4_threadid_t
	L4 thread id. More...
struct	l4_intrid_struct_t
	L4 interrupt id structure. More...
union	l4_intrid_t
	L4 interrupt id. More...
Defines
#define	L4_NIL_ID_INIT
	L4 nil thread id.
#define	L4_INVALID_ID_INIT
	L4 invalid thread id.
Typedefs
typedef l4_threadid_t	l4_taskid_t
	L4 task id.
Functions
int	l4_is_nil_id (l4_threadid_t id)
	Test if id is nil thread id.
int	l4_is_invalid_id (l4_threadid_t id)
	Test if id is invalid thread id.
int	l4_is_irq_id (l4_threadid_t id)
	Test if id is a IRQ thread id.
int	l4_get_irqnr (l4_threadid_t id)
	Return the IRQ number.
l4_threadid_t	l4_get_taskid (l4_threadid_t t)
	Create task id from thread id.
int	l4_thread_equal (l4_threadid_t t1, l4_threadid_t t2)
	Test if two thread ids are equal.
int	l4_task_equal (l4_threadid_t t1, l4_threadid_t t2)
	Test if two task ids are equal.
int	l4_tasknum_equal (l4_threadid_t t1, l4_threadid_t t2)
	Test if the task numbers of two task ids are equal.
void	l4_make_taskid_from_irq (int irq, l4_threadid_t *t)
	Create interrupt id.

---

Function Documentation

int l4_is_nil_id

(

l4_threadid_t

id

)

[inline]

Test if id is nil thread id.

Parameters:

id

Thread id

Returns:

!= 0 if id is nil thread id, 0 if not

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

int l4_is_invalid_id

(

l4_threadid_t

id

)

[inline]

Test if id is invalid thread id.

Parameters:

id

Thread id

Returns:

!= 0 if id is invalid thread id, 0 if not

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

int l4_is_irq_id

(

l4_threadid_t

id

)

[inline]

Test if id is a IRQ thread id.

Parameters:

id

Thread id

Returns:

!= 0 if id is IRQ thread id, 0 if not

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

int l4_get_irqnr

(

l4_threadid_t

id

)

[inline]

Return the IRQ number.

Parameters:

id

Thread id

Returns:

IRQ number

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

l4_threadid_t l4_get_taskid

(

l4_threadid_t

t

)

[inline]

Create task id from thread id.

Parameters:

t

Thread id

Returns:

Task id

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

References l4_threadid_t::id, and l4_threadid_struct_t::lthread.

int l4_thread_equal	(	l4_threadid_t	t1,
		l4_threadid_t	t2
	)			[inline]

Test if two thread ids are equal.

Parameters:

	t1	First thread id
	t2	Second thread id

Returns:

!=0 if thread ids are equal, 0 if not

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

References l4_threadid_t::raw.

int l4_task_equal	(	l4_threadid_t	t1,
		l4_threadid_t	t2
	)			[inline]

Test if two task ids are equal.

Parameters:

	t1	First task id
	t2	Second task id

Returns:

!= 0 if task ids are equal, 0 if not

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

References l4_threadid_t::raw, and TASK_MASK.

int l4_tasknum_equal	(	l4_threadid_t	t1,
		l4_threadid_t	t2
	)			[inline]

Test if the task numbers of two task ids are equal.

Parameters:

	t1	First task id
	t2	Second task id

Returns:

!= 0 if task numbers are equal, 0 if not

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

References l4_threadid_t::id, and l4_threadid_struct_t::task.

void l4_make_taskid_from_irq	(	int	irq,
		l4_threadid_t *	t
	)			[inline]

Create interrupt id.

Parameters:

irq

Interrupt number

Return values:

t

Interrupt id

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

References l4_threadid_t::raw.