X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=kitten%2Finclude%2Flwk%2Fcompiler-gcc4.h;fp=kitten%2Finclude%2Flwk%2Fcompiler-gcc4.h;h=83c06d046c72f62f488aa3efe29e177828c8f024;hb=66a1a4c7a9edcd7d8bc207aca093d694a6e6b5b2;hp=0000000000000000000000000000000000000000;hpb=f7cf9c19ecb0a589dd45ae0d2c91814bd3c2acc2;p=palacios.git

diff --git a/kitten/include/lwk/compiler-gcc4.h b/kitten/include/lwk/compiler-gcc4.h
new file mode 100644
index 0000000..83c06d0
--- /dev/null
+++ b/kitten/include/lwk/compiler-gcc4.h
@@ -0,0 +1,18 @@
+/* Never include this file directly.  Include <lwk/compiler.h> instead.  */
+
+/* These definitions are for GCC v4.x.  */
+#include <lwk/compiler-gcc.h>
+
+#ifdef CONFIG_FORCED_INLINING
+# undef inline
+# undef __inline__
+# undef __inline
+# define inline			inline		__attribute__((always_inline))
+# define __inline__		__inline__	__attribute__((always_inline))
+# define __inline		__inline	__attribute__((always_inline))
+#endif
+
+#define __attribute_used__	__attribute__((__used__))
+#define __must_check 		__attribute__((warn_unused_result))
+#define __compiler_offsetof(a,b) __builtin_offsetof(a,b)
+#define __always_inline		inline __attribute__((always_inline))