L4Re - L4 Runtime Environment
|
C interface for capabilities. More...
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().