![]() |
L4Re Operating System Framework
Interface and Usage Documentation
|
| File in l4reutil | Includes file in l4sys |
|---|---|
| bitmap_cap_alloc | assert.h |
| bitmap_cap_alloc | capability |
| bitmap_cap_alloc | task.h |
| br_manager | assert.h |
| cap | task |
| cap_alloc | smart_capability |
| cap_alloc | task |
| counting_cap_alloc | assert.h |
| counting_cap_alloc | task |
| dataspace_svr | types.h |
| debug | types.h |
| event | factory |
| icu_svr | icu |
| icu_svr | task |
| icu_svr | types.h |
| meta | meta |
| meta | typeinfo_svr |
| name_space_svr | capability |
| object_registry | factory |
| object_registry | ipc_gate |
| object_registry | task |
| object_registry | thread |
| poll_timeout_kipclock | kip.h |
| region_mapping | types.h |
| region_mapping_svr | types.h |
| shared_cap | cxx / smart_capability_1x |
| unique_cap | cxx / smart_capability_1x |
| vcon_svr | types.h |
| vcon_svr | vcon |
| video / goos_svr | capability |