Data Structures | |
struct | l4rm_vm_range |
VM address range. More... | |
Typedefs | |
typedef struct l4rm_vm_range | l4rm_vm_range_t |
VM address range. | |
Functions | |
L4_CV int | l4rm_init (int have_l4env, l4rm_vm_range_t used[], int num_used) |
Init Region Mapper. | |
L4_CV l4_threadid_t | l4rm_region_mapper_id (void) |
Return service id of region mapper thread. | |
L4_CV void | l4rm_service_loop (void) __attribute__((noreturn)) |
Region mapper service loop. | |
Variables | |
const l4_addr_t | l4rm_heap_start_addr |
L4RM heap map address. |
L4_CV int l4rm_init | ( | int | have_l4env, | |
l4rm_vm_range_t | used[], | |||
int | num_used | |||
) |
Init Region Mapper.
have_l4env | Set to != 0 if started with the L4 environment (L4RM then uses the default dataspace manager to allocate its descriptor heap) | |
used | Used VM address range, do not use for internal data. These address ranges are only excluded during l4rm_init, if an address range should further not be used, it also has to be reserved (l4rm_area_reserve()) after L4RM is initialized. | |
num_used | Number of elements in used. |
L4_CV l4_threadid_t l4rm_region_mapper_id | ( | void | ) |
Return service id of region mapper thread.
L4_CV void l4rm_service_loop | ( | void | ) |
Region mapper service loop.
Used in l4env_startup (l4env).