|
L4Re - L4 Runtime Environment
|
C interface for capabilities. More...
Collaboration diagram for Capabilities:Typedefs | |
| typedef unsigned long | l4_cap_idx_t |
| L4 Capability selector Type. | |
Enumerations | |
| enum | l4_cap_consts_t { L4_CAP_SHIFT, L4_CAP_SIZE , L4_CAP_MASK, L4_INVALID_CAP } |
| Constants related to capability selectors. More... | |
| enum | l4_default_caps_t { L4_BASE_TASK_CAP, L4_BASE_FACTORY_CAP, L4_BASE_THREAD_CAP, L4_BASE_PAGER_CAP, L4_BASE_LOG_CAP, L4_BASE_ICU_CAP, L4_BASE_SCHEDULER_CAP, L4_BASE_IOMMU_CAP, L4_BASE_DEBUGGER_CAP, L4_BASE_ARM_SMCCC_CAP , L4_BASE_CAPS_LAST = L4_BASE_CAPS_LAST_P1 - 1 } |
| Default capabilities setup for the initial tasks. More... | |
Functions | |
| unsigned | l4_is_invalid_cap (l4_cap_idx_t c) L4_NOTHROW |
| Test if a capability selector is the invalid capability. More... | |
| unsigned | l4_is_valid_cap (l4_cap_idx_t c) L4_NOTHROW |
| Test if a capability selector is a valid selector. More... | |
| unsigned | l4_capability_equal (l4_cap_idx_t c1, l4_cap_idx_t c2) L4_NOTHROW |
| Test if two capability selectors are equal. More... | |
C interface for capabilities.
Add
#include <l4/sys/types.h> #include <l4/sys/consts.h>
to your code to use the functions and definitions explained here.
| enum l4_cap_consts_t |
| enum l4_default_caps_t |
Default capabilities setup for the initial tasks.
These capability selectors are setup per default by the micro kernel for the two initial tasks, the Root-Pager (Sigma0) and the Root-Task (Moe).
|
inline |
Test if two capability selectors are equal.
| c1 | Capability |
| c2 | Capability |
| 0 | The given capabilities are not in the same slot. |
| 1 | The given capabilities are in the same slot. |
Definition at line 400 of file types.h.
References L4_CAP_SHIFT.
|
inline |
Test if a capability selector is the invalid capability.
| c | Capability selector |
| 0 | The capability selector is not the invalid capability. |
| >0 | The capability selector is the invalid capability. |
|
inline |
Test if a capability selector is a valid selector.
| c | Capability selector |
| 0 | The capability selector is not valid. |
| >0 | The capability selector is valid. |
Definition at line 396 of file types.h.
Referenced by L4Re::Util::Cap_alloc_base::free(), and L4Re::Util::Counting_cap_alloc< COUNTERTYPE >::free().
Here is the caller graph for this function: