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
Base API

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.