25#include <l4/sys/consts.h>
43 L4RE_MA_CONTINUOUS = 0x01,
44 L4RE_MA_PINNED = 0x02,
45 L4RE_MA_SUPER_PAGES = 0x04,
118 unsigned long flags,
unsigned long align)
L4_NOTHROW;
140 l4re_ds_t const mem,
unsigned long flags,
155 unsigned long flags,
unsigned long align)
L4_NOTHROW
l4_cap_idx_t l4re_ds_t
Dataspace type.
l4re_ma_flags
Flags for requesting memory at the memory allocator.
long l4re_ma_alloc(long size, l4re_ds_t const mem, unsigned long flags) L4_NOTHROW
Allocate memory.
long l4re_ma_alloc_align(long size, l4re_ds_t const mem, unsigned long flags, unsigned long align) L4_NOTHROW
Allocate memory.
long l4re_ma_alloc_align_srv(l4_cap_idx_t srv, long size, l4re_ds_t const mem, unsigned long flags, unsigned long align) L4_NOTHROW
Allocate memory.
unsigned long l4_cap_idx_t
Capability selector type.
#define L4_CV
Define calling convention.
#define L4_NOTHROW
Mark a function declaration and definition as never throwing an exception.
#define L4_INLINE
L4 Inline function attribute.
#define EXTERN_C_BEGIN
Start section with C types and functions.
#define EXTERN_C_END
End section with C types and functions.
l4_cap_idx_t mem_alloc
Memory allocator object-capability.