14#include <l4/sys/consts.h>
32 L4RE_MA_CONTINUOUS = 0x01,
33 L4RE_MA_PINNED = 0x02,
34 L4RE_MA_SUPER_PAGES = 0x04,
107 unsigned long flags,
unsigned long align)
L4_NOTHROW;
129 l4re_ds_t const mem,
unsigned long flags,
144 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 __END_DECLS
End section with C types and functions.
#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 __BEGIN_DECLS
Start section with C types and functions.
l4_cap_idx_t mem_alloc
Memory allocator object-capability.