|
L4Re - L4 Runtime Environment
|
Memory allocator C interface. More...
Collaboration diagram for Memory allocator: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().
Here is the call graph for this function:
|
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().
Here is the call graph for this function:| 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().
Here is the caller graph for this function:
|
inline |
Free memory.
| mem | Dataspace to free. |
Definition at line 183 of file mem_alloc.h.
References l4re_ma_free_srv().
Here is the call graph for this function:| 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().
Here is the caller graph for this function: