#include <l4/sys/compiler.h>
#include <l4/sys/consts.h>
#include <l4/sys/l4int.h>
#include <l4/sys/__l4_fpage-32bit.h>
#include <l4/sys/__timeout.h>
Go to the source code of this file.
Data Structures | |
| struct | l4_low_high_t |
| 64 Bit -> 32 Bit low/high conversion 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... | |
| struct | l4_msgdope_struct_t |
| L4 message dope structure. More... | |
| union | l4_msgdope_t |
| L4 message dope type. More... | |
| struct | l4_strdope_t |
| L4 string dope. More... | |
| struct | l4_sched_param_struct_t |
| Scheduling parameter structure. More... | |
| union | l4_sched_param_t |
| Scheduling parameter type. More... | |
Defines | |
| #define | L4_NIL_ID_INIT |
| L4 nil thread id. | |
| #define | L4_NIL_ID ((l4_threadid_t)L4_NIL_ID_INIT) |
| L4 nil thread id. | |
| #define | L4_INVALID_ID_INIT |
| L4 invalid thread id. | |
| #define | L4_INVALID_ID ((l4_threadid_t)L4_INVALID_ID_INIT) |
| L4 invalid thread id. | |
| #define | L4_INVALID_SCHED_PARAM |
| Invalid scheduling parameter. | |
| #define | L4_SMALL_SPACE(size_mb, nr) |
| Compute l4_sched_param_struct_t->small argument. | |
| #define | TASK_MASK 0xfffe03ff |
| Mask of threadid excluding threads. | |
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. | |
| int | l4_is_invalid_sched_param (l4_sched_param_t sp) |
| Test if sp is invalid scheduling parameter. | |
| void | l4_sched_param_set_time (int us, l4_sched_param_t *p) |
| Set time in scheduling parameter. | |
Definition in file ARCH-x86/L4API-l4v2/types.h.