L4Re - L4 Runtime Environment
ipc_gate File Reference

The C++ IPC gate interface. More...

+ Include dependency graph for ipc_gate:
+ This graph shows which files directly or indirectly include this file:

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.
 

Detailed Description

The C++ IPC gate interface.

Definition in file ipc_gate.