#include <l4rm.h>
Data Fields | |
| l4_addr_t | start |
| start address | |
| l4_addr_t | end |
| end address | |
| l4_uint32_t | flags |
| region flags | |
| void * | userptr |
| user pointer for area | |
| struct l4rm_region_desc * | next |
| next region | |
| struct l4rm_region_desc * | prev |
| previous region | |
| l4dm_dataspace_t | ds |
| attached dataspace | |
| l4_offs_t | offs |
| start offset | |
| l4_uint32_t | rights |
| access rights to the attached dataspace | |
| l4_threadid_t | pager |
| external pager | |