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_OFFSET = 1UL << L4_CAP_SHIFT , L4_CAP_MASK , L4_INVALID_CAP , L4_INVALID_CAP_BIT = 1UL << (L4_CAP_SHIFT - 1) } |
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_P1 , 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().