#include <app.h>
Data Fields | |
| l4_threadid_t | tid |
| L4 task id. | |
| unsigned int | taskno |
| L4 task number (if configured). | |
| int | hi_first_msg |
| true if first message. | |
| l4env_infopage_t * | env |
| ptr to environment infopage. | |
| app_area_t | app_area [28] |
| pager regions. | |
| int | app_area_next_free |
| number of pager regions. | |
| char * | iobitmap |
| I/O permission bitmap. | |
| const char * | fname |
| app name including path. | |
| const char * | name |
| app name excluding path. | |
| l4_addr_t | eip |
| l4_addr_t | esp |
| l4_uint32_t | flags |
| flags. | |
| l4_addr_t | image |
| attached image | |
| l4_size_t | sz_image |
| size of attached image | |
| l4dm_dataspace_t | ds_image |
| dataspace containing the image | |
| l4_addr_t | symbols |
| symbols. | |
| l4_size_t | sz_symbols |
| size of symbols information. | |
| l4dm_dataspace_t | ds_symbols |
| | |
| l4_addr_t | lines |
| lines. | |
| l4_size_t | sz_lines |
| size of lines information. | |
| l4dm_dataspace_t | ds_lines |
| lines dataspace. | |
| l4_addr_t | last_pf |
| last pagefault address. | |
| l4_addr_t | last_pf_eip |
| last pagefault eip. | |
| l4_uint32_t | prio |
| priority of thread 0. | |
| l4_uint32_t | mcp |
| mcp of thread 0. | |
| l4_taskid_t | owner |
| owner of that task. | |
| l4_threadid_t | caphandler |
| capability fault handler | |
| cfg_cap_t * | caplist |
| list of capabilities | |
| cfg_kquota_t * | kquota |
| kernel quota of this app | |
| l4_threadid_t app_t::tid |
L4 task id.
true if first message.
ptr to environment infopage.
pager regions.
number of pager regions.
| char* app_t::iobitmap |
I/O permission bitmap.
| const char* app_t::fname |
app name including path.
| const char* app_t::name |
app name excluding path.
| l4_uint32_t app_t::flags |
flags.
| l4_addr_t app_t::symbols |
symbols.
| l4_size_t app_t::sz_symbols |
size of symbols information.
| l4dm_dataspace_t app_t::ds_symbols |
.. dataspace.
| l4_addr_t app_t::lines |
lines.
| l4_size_t app_t::sz_lines |
size of lines information.
| l4dm_dataspace_t app_t::ds_lines |
lines dataspace.
| l4_addr_t app_t::last_pf |
last pagefault address.
| l4_addr_t app_t::last_pf_eip |
last pagefault eip.
| l4_uint32_t app_t::prio |
priority of thread 0.
| l4_uint32_t app_t::mcp |
mcp of thread 0.
| l4_taskid_t app_t::owner |
owner of that task.