L4Re Operating System Framework – Interface and Usage Documentation
|
File in l4/re/util | Includes file in l4/sys |
---|---|
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_2 | 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 |