25 #include <l4/sys/consts.h> 43 L4RE_MA_CONTINUOUS = 0x01,
44 L4RE_MA_PINNED = 0x02,
45 L4RE_MA_SUPER_PAGES = 0x04,
93 unsigned long flags,
unsigned long align)
L4_NOTHROW;
110 L4_DEPRECATED(
"This function is an empty stub and remains for backward compatibility only. See documentation for replacement options.");
135 l4re_ds_t const mem,
unsigned long flags,
154 L4_DEPRECATED(
"This function is an empty stub and remains for backward compatibility only. See documentation for replacement options.");
163 #pragma GCC diagnostic push 164 #pragma GCC diagnostic ignored "-Wdeprecated-declarations" 176 unsigned long flags,
unsigned long align)
L4_NOTHROW 188 #pragma GCC diagnostic pop 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.
#define EXTERN_C_END
End section with C types and functions.
l4re_ma_flags
Flags for requesting memory at the memory allocator.
unsigned long l4_cap_idx_t
L4 Capability selector Type.
long l4re_ma_alloc_align(long size, l4re_ds_t const mem, unsigned long flags, unsigned long align) L4_NOTHROW
Allocate memory.
l4_cap_idx_t l4re_ds_t
Dataspace type.
#define EXTERN_C_BEGIN
Start section with C types and functions.
long l4re_ma_free(l4re_ds_t const mem) L4_NOTHROW
Free memory.
#define L4_CV
Define calling convention.
long l4re_ma_alloc(long size, l4re_ds_t const mem, unsigned long flags) L4_NOTHROW
Allocate memory.
long l4re_ma_free_srv(l4_cap_idx_t srv, l4re_ds_t const mem) L4_NOTHROW
Free memory.
l4_cap_idx_t mem_alloc
Memory allocator object-capability.
#define L4_DEPRECATED(s)
Mark symbol deprecated.
#define L4_NOTHROW
Mark a function declaration and definition as never throwing an exception.