L4Re - L4 Runtime Environment
|
The C++ IPC gate interface. More...
#include <l4/sys/ipc_gate.h>
#include <l4/sys/capability>
#include <l4/sys/rcv_endpoint>
#include <l4/sys/cxx/ipc_iface>
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.