Fiasco/L4 System Call C-Bindings Reference Manual

00001 /*****************************************************************************/
00007 /*****************************************************************************/
00008 #ifndef __L4SYS__INCLUDE__ARCH_AMD64__L4API_L4V2__IPC_H__
00009 #define __L4SYS__INCLUDE__ARCH_AMD64__L4API_L4V2__IPC_H__
00010 
00011 #include <l4/sys/types.h>
00012 
00013 #define L4_IPC_IOMAPMSG_BASE  0xfffffffff0000000 
00014 #define L4_IPC_CAPMAPMSG_BASE 0xfffffffff0000100 
00015 
00016 #include_next <l4/sys/ipc.h>
00017 
00018 #include <l4/sys/ipc-invoke.h>
00019 
00020 #define GCC_VERSION (__GNUC__ * 100 + __GNUC_MINOR__)  
00021 
00022 #ifdef PROFILE
00023 #  include "ipc-l42-profile.h"
00024 #else
00025 #  if GCC_VERSION < 303
00026 #    error gcc >= 3.3 required
00027 #  else
00028 #    include "ipc-l42-gcc3.h"
00029 #  endif
00030 #endif
00031 
00032 #include <l4/sys/ipc-impl.h>
00033 
00034 #endif /* ! __L4SYS__INCLUDE__ARCH_AMD64__L4API_L4V2__IPC_H__ */