L4Re - L4 Runtime Environment
ipc.h File Reference

L4 IPC System Calls, x86. More...

#include <l4/sys/types.h>
#include <l4/sys/ipc-invoke.h>
#include "ipc-l42-gcc3-nopic.h"
+ Include dependency graph for ipc.h:

Go to the source code of this file.

Detailed Description

L4 IPC System Calls, x86.

Definition in file ipc.h.