#include <app.h>
Data Fields | |
| app_addr_t | beg |
| begin of region here/in app. | |
| l4_size_t | size |
| size of region. | |
| l4_uint16_t | type |
| region type. | |
| l4_uint16_t | flags |
| region flags. | |
| l4dm_dataspace_t | ds |
| dataspace to serve. | |
| const char * | dbg_name |
begin of region here/in app.
| l4_size_t app_area_t::size |
size of region.
| l4_uint16_t app_area_t::type |
region type.
| l4_uint16_t app_area_t::flags |
region flags.
| l4dm_dataspace_t app_area_t::ds |
dataspace to serve.