L4Re - L4 Runtime Environment
|
The C++ IPC gate interface. More...
Go to the source code of this file.
Data Structures | |
class | L4::Ipc_gate |
The C++ IPC gate interface. More... | |
Namespaces | |
L4 | |
L4 low-level kernel interface. | |
The C++ IPC gate interface.
Definition in file ipc_gate.