L4Re - L4 Runtime Environment
|
Memory allocator C interface. More...
Enumerations | |
enum | l4re_ma_flags |
Flags for requesting memory at the memory allocator. More... | |
Functions | |
long | l4re_ma_alloc (long size, l4re_ds_t const mem, unsigned long flags) L4_NOTHROW |
Allocate memory. More... | |
long | l4re_ma_alloc_align (long size, l4re_ds_t const mem, unsigned long flags, unsigned long align) L4_NOTHROW |
Allocate memory. More... | |
long | l4re_ma_free (l4re_ds_t const mem) L4_NOTHROW |
Free memory. More... | |
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. More... | |
long | l4re_ma_free_srv (l4_cap_idx_t srv, l4re_ds_t const mem) L4_NOTHROW |
Free memory. More... | |
Memory allocator C interface.
enum l4re_ma_flags |
Flags for requesting memory at the memory allocator.
Definition at line 42 of file mem_alloc.h.
|
inline |
Allocate memory.
size | Size to be requested in bytes (granularity is (super)pages and the size is rounded up to this granularity). |
mem | Capability slot to put the requested dataspace in |
flags | Flags, see l4re_ma_flags |
The memory allocator returns a dataspace.
Definition at line 167 of file mem_alloc.h.
References l4re_ma_alloc_align_srv().
|
inline |
Allocate memory.
size | Size to be requested in bytes (granularity is (super)pages and the size is rounded up to this granularity). |
mem | Capability slot to put the requested dataspace in |
flags | Flags, see l4re_ma_flags |
align | Log2 alignment of dataspace if supported by allocator, will be at least L4_PAGESHIFT, with Super_pages flag set at least L4_SUPERPAGESHIFT, default 0 |
The memory allocator returns a dataspace.
Definition at line 175 of file mem_alloc.h.
References l4re_ma_alloc_align_srv().
long l4re_ma_alloc_align_srv | ( | l4_cap_idx_t | srv, |
long | size, | ||
l4re_ds_t const | mem, | ||
unsigned long | flags, | ||
unsigned long | align | ||
) |
Allocate memory.
srv | Memory allocator service. |
size | Size to be requested. |
mem | Capability slot to put the requested dataspace in |
flags | Flags, see l4re_ma_flags |
align | Log2 alignment of dataspace if supported by allocator, will be at least L4_PAGESHIFT, with Super_pages flag set at least L4_SUPERPAGESHIFT, default 0 |
The memory allocator returns a dataspace.
Referenced by l4re_ma_alloc(), and l4re_ma_alloc_align().
|
inline |
Free memory.
mem | Dataspace to free. |
Definition at line 183 of file mem_alloc.h.
References l4re_ma_free_srv().
long l4re_ma_free_srv | ( | l4_cap_idx_t | srv, |
l4re_ds_t const | mem | ||
) |
Free memory.
srv | Memory allocator service. |
mem | Dataspace to free. |
Referenced by l4re_ma_free().