L4Re Operating System Framework
Interface and Usage Documentation
Toggle main menu visibility
Main Page
Related Pages
Topics
Namespaces
Namespace List
Namespace Members
All
a
b
c
d
h
i
k
m
o
p
r
s
t
u
w
Functions
a
b
c
k
m
r
s
t
w
Variables
Typedefs
Enumerations
Enumerator
Data Structures
Data Structures
Data Structure Index
Class Hierarchy
Data Fields
All
_
a
b
c
d
e
f
g
h
i
k
l
m
n
o
p
q
r
s
t
u
v
w
x
y
~
Functions
_
a
b
c
d
e
f
g
h
i
k
l
m
n
o
p
q
r
s
t
u
v
w
~
Variables
_
a
b
c
d
e
f
g
h
i
k
l
m
n
o
p
q
r
s
t
u
v
w
x
y
Typedefs
_
a
b
c
d
e
f
g
i
k
m
n
o
p
r
s
t
v
w
Enumerations
a
c
d
e
f
i
m
n
p
q
r
s
t
v
Enumerator
a
b
c
d
e
f
g
i
k
l
m
n
o
p
r
s
t
u
w
x
Related Symbols
Files
File List
Globals
All
_
a
b
d
e
f
g
l
m
n
o
p
r
s
Functions
_
b
e
f
g
l
o
p
Typedefs
e
g
l
p
Enumerations
e
l
p
Enumerator
a
d
e
f
l
n
p
r
s
Macros
_
e
g
l
m
p
s
Examples
•
All
Data Structures
Namespaces
Files
Functions
Variables
Typedefs
Enumerations
Enumerator
Friends
Macros
Modules
Pages
Loading...
Searching...
No Matches
Deprecated List
Global
L4_CAP_SIZE
Superseded by
L4_CAP_OFFSET
.
Global
l4_kip_clock_lw
(
l4_kernel_info_t
const *kip) L4_NOTHROW
Use
l4_kip_clock()
instead.
Global
L4Re::Util::Registry_server< LOOP_HOOKS >::Registry_server
(l4_utcb_t *, L4::Cap< L4::Thread > server, L4::Cap< L4::Factory > factory)
Note that this variant of the constructor is deprecated, please do not supply the UTCB pointer, it's not used.
Global
l4util_kip_for_each_feature
(s)
Use
l4_kip_for_each_feature()
.
Global
l4util_kip_kernel_has_feature
(
l4_kernel_info_t
const *k, char const *str)
Use
l4_kip_kernel_has_feature()
.
Global
l4util_micros2l4to
(l4_uint64_t us) L4_NOTHROW
Use l4_timeout_from_us().
Generated on Fri May 23 2025 13:40:52 for L4Re Operating System Framework by
1.9.8
1.9.8 