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
g
h
i
k
l
m
o
p
r
s
t
u
w
Functions
a
b
c
g
k
l
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
Variables
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
L4Re Operating System Framework
Overview
Introduction
Tutorial
Programming for L4Re
L4Re Servers
uvmm_dtg The device tree generator for Uvmm
Bootstrap, the L4 kernel bootstrapper
Deprecated List
Topics
Namespaces
Data Structures
Files
File List
amd64
arm
arm64
contrib
l4
cxx
bits
alloc.h
arith
atomic.h
avl_map
avl_set
avl_tree
basic_ostream
basic_vector.h
bitfield
bitmap
dlist
exceptions
hlist
iostream
ipc_helper
ipc_server
ipc_stream
ipc_timeout_queue
l4iostream
l4types.h
list
list_alloc
lock_guard.h
main_thread
minmax
numeric
observer
pair
ref_ptr
ref_ptr_list
slab_alloc
slist
static_container
static_vector
std_alloc
std_ops
string
string.h
thread
type_list
type_traits
unique_ptr
unique_ptr_list
utils
weak_ref
irq
l4re_vfs
l4virtio
libblock-device
libedid
libgfxbitmap
re
shmc
sigma0
sys
util
vbus
vcpu
pkg
x86
Globals
Examples
•
All
Data Structures
Namespaces
Files
Functions
Variables
Typedefs
Enumerations
Enumerator
Friends
Macros
Modules
Pages
Loading...
Searching...
No Matches
l4types.h
Go to the documentation of this file.
1
5
/*
6
* (c) 2004-2009 Alexander Warg <warg@os.inf.tu-dresden.de>
7
* economic rights: Technische Universität Dresden (Germany)
8
*
9
* License: see LICENSE.spdx (in this directory or the directories above)
10
*/
11
#pragma once
12
13
#include <
l4/sys/types.h
>
14
#include <
l4/cxx/basic_ostream
>
basic_ostream
Basic IO stream.
types.h
Common L4 ABI Data Types.
l4
cxx
l4types.h
Generated on
for L4Re Operating System Framework by
1.15.0