L4Re Operating System Framework – Interface and Usage Documentation
Loading...
Searching...
No Matches
re → sys Relation
File in l4/re
Includes file in l4/sys
cap_alloc
smart_capability
cap_alloc
task
consts
capability
consts
consts.h
consts.h
consts.h
dataspace
capability
dataspace
cxx
/
ipc_iface
dataspace
cxx
/
ipc_types
dataspace
l4int.h
dataspace
cxx
/
types
dataspace
types.h
c
/
dataspace.h
types.h
impl
/
dataspace_impl.h
cxx
/
ipc_client
debug
capability
debug
cxx
/
ipc_iface
c
/
debug.h
types.h
dma_space
capability
dma_space
cxx
/
ipc_iface
dma_space
cxx
/
ipc_types
dma_space
l4int.h
dma_space
cxx
/
types
dma_space
types.h
c
/
dma_space.h
types.h
elf_aux.h
types.h
env
types.h
env.h
compiler.h
env.h
consts.h
env.h
kip.h
env.h
types.h
error_helper
err.h
error_helper
types.h
event
capability
event
cxx
/
ipc_iface
event
irq
event.h
compiler.h
event.h
l4int.h
c
/
event.h
types.h
inhibitor
capability
inhibitor
cxx
/
ipc_iface
c
/
inhibitor.h
types.h
l4aux.h
types.h
log
vcon
mem_alloc
capability
mem_alloc
factory
c
/
mem_alloc.h
consts.h
impl
/
mem_alloc_impl.h
factory
mmio_space
capability
mmio_space
cxx
/
ipc_iface
mmio_space
cxx
/
ipc_types
namespace
capability
namespace
cxx
/
ipc_iface
impl
/
namespace_impl.h
assert.h
impl
/
namespace_impl.h
cxx
/
ipc_client
parent
capability
parent
cxx
/
ipc_iface
random
capability
random
icu
random
cxx
/
ipc_iface
random
cxx
/
ipc_types
rm
capability
rm
cxx
/
ipc_iface
rm
l4int.h
rm
pager
rm
cxx
/
types
rm
types.h
impl
/
rm_impl.h
err.h
impl
/
rm_impl.h
cxx
/
ipc_client
impl
/
rm_impl.h
task
shared_cap
cxx
/
smart_capability_1x
unique_cap
cxx
/
smart_capability_1x
c
/
util
/
cap_alloc.h
types.h
c
/
util
/
kumem_alloc.h
types.h
util
/
bitmap_cap_alloc
capability
util
/
bitmap_cap_alloc
task.h
util
/
br_manager
assert.h
util
/
cap
task
util
/
cap_alloc
smart_capability
util
/
cap_alloc
task
util
/
counting_cap_alloc
task
util
/
counting_cap_alloc
assert.h
util
/
dataspace_svr
types.h
util
/
debug
types.h
util
/
event
factory
util
/
icu_svr
types.h
util
/
icu_svr
icu
util
/
icu_svr
task
util
/
meta
meta
util
/
meta
typeinfo_svr
util
/
name_space_svr
capability
util
/
object_registry
factory
util
/
object_registry
task
util
/
object_registry
thread
util
/
object_registry
ipc_gate
util
/
poll_timeout_kipclock
kip.h
util
/
region_mapping
types.h
util
/
region_mapping_svr_2
types.h
util
/
shared_cap
cxx
/
smart_capability_1x
util
/
unique_cap
cxx
/
smart_capability_1x
util
/
vcon_svr
types.h
util
/
vcon_svr
vcon
c
/
util
/
video
/
goos_fb.h
compiler.h
c
/
util
/
video
/
goos_fb.h
err.h
c
/
video
/
colors.h
compiler.h
c
/
video
/
goos.h
types.h
c
/
video
/
view.h
types.h
util
/
video
/
goos_svr
capability
video
/
colors
compiler.h
video
/
goos
capability
video
/
goos
cxx
/
ipc_iface
l4
re
Generated on Tue Oct 17 2023 12:44:38 for L4Re Operating System Framework – Interface and Usage Documentation by
1.9.8