L4Re Operating System Framework
Interface and Usage Documentation
All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Modules Pages
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.