26 #ifndef __L4_SYS__INCLUDE__CONSTS_H__ 27 #define __L4_SYS__INCLUDE__CONSTS_H__ 30 #include <l4/sys/l4int.h> 143 L4_INVALID_CAP_BIT = 1UL << (L4_CAP_SHIFT - 1),
146 enum l4_sched_consts_t
148 L4_SCHED_MIN_PRIO = 0,
149 L4_SCHED_MAX_PRIO = 255,
224 L4_BDR_OFFSET_MASK = (1UL << 20) - 1,
292 L4_BASE_CAPS_LAST_P1,
307 #define L4_PAGESIZE (1UL << L4_PAGESHIFT) 316 #define L4_PAGEMASK (~(L4_PAGESIZE - 1)) 325 #define L4_LOG2_PAGESIZE L4_PAGESHIFT 334 #define L4_SUPERPAGESIZE (1UL << L4_SUPERPAGESHIFT) 343 #define L4_SUPERPAGEMASK (~(L4_SUPERPAGESIZE - 1)) 351 #define L4_LOG2_SUPERPAGESIZE L4_SUPERPAGESHIFT 376 {
return address & (~0UL << bits); }
401 {
return (value + (1UL << bits) - 1) & (~0UL << bits); }
416 #define L4_INVALID_PTR ((void *)L4_INVALID_ADDR) 420 # define NULL ((void *)0) Identify a message item as map item.
l4_addr_consts_t
Address related constants.
Capability selector for the base icu object.
Flag that indicates that the unmap operation on a capability shall try to delete the corresponding ob...
Offset of two consecutive capability selectors.
Invalid capability selector.
l4_addr_t l4_round_page(l4_addr_t address) L4_NOTHROW
Round address up to the next page.
l4_addr_t l4_round_size(l4_umword_t value, unsigned char bits) L4_NOTHROW
Round value up to the next alignment with bits size.
Capability selector for the current task.
Default flags (call to a kernel object).
Wait flags (combines receive and open wait).
#define L4_PAGEMASK
Mask for the page number.
l4_addr_t l4_trunc_page(l4_addr_t address) L4_NOTHROW
Round an address down to the next lower page boundary.
Bit offset for the capability-buffer index.
l4_addr_t l4_trunc_size(l4_addr_t address, unsigned char bits) L4_NOTHROW
Round an address down to the next lower flex page with size bits.
The receiver requests to receive a local ID instead of a mapping whenever possible.
L4 compiler related defines.
l4_default_caps_t
Default capabilities setup for the initial tasks.
#define L4_PAGESIZE
Minimal page size (in bytes).
Call flags (combines send and receive).
Flag to tell the unmap operation to unmap all child mappings including the mapping in the invoked tas...
Capability selector for the log object.
Bit offset for the IO-buffer index.
l4_buffer_desc_consts_t
Constants for buffer descriptors.
Capability selector for the debugger cap.
unsigned long l4_umword_t
Unsigned machine word.
Capability selector for the pager gate.
l4_syscall_flags_t
Capability selector flags.
Counterpart to L4_FP_ALL_SPACES, unmap only child mappings.
l4_msg_item_consts_t
Constants for message items.
Mask to get only the relevant bits of an l4_cap_idx_t.
l4_cap_consts_t
Constants related to capability selectors.
Capability selector for the scheduler cap.
Capability selector for the ARM SMCCC cap.
Bit offset for the memory-buffer index.
Capability selector for the factory.
Flag as grant instead of map operation.
Denote that the following item shall be put into the same receive item as this one.
l4_unmap_flags_t
Flags for the unmap operation.
Capability selector for the IO-MMU cap.
Mark the receive buffer to be a small receive item that describes a buffer for a single capability...
Capability selector for the first thread.
unsigned long l4_addr_t
Address type.
Flag as usual map operation.
Last capability index used for base capabilities.
#define L4_NOTHROW
Mark a function declaration and definition as never throwing an exception.