update

[l4.git] / l4 / pkg / valgrind / src / valgrind-3.6.0-svn / include / vki / vki-x86-linux.h

diff --git a/l4/pkg/valgrind/src/valgrind-3.6.0-svn/include/vki/vki-x86-linux.h b/l4/pkg/valgrind/src/valgrind-3.6.0-svn/include/vki/vki-x86-linux.h
index 0d50529467122202408fbe48dadd2cac48f37e0a..8f8aec8f373294038e2eb3eb7b5064800d342d15 100644 (file)
--- a/l4/pkg/valgrind/src/valgrind-3.6.0-svn/include/vki/vki-x86-linux.h
+++ b/l4/pkg/valgrind/src/valgrind-3.6.0-svn/include/vki/vki-x86-linux.h
@@ -63,6 +63,12 @@ typedef unsigned int vki_u32;
 #define VKI_MAX_PAGE_SHIFT     VKI_PAGE_SHIFT
 #define VKI_MAX_PAGE_SIZE      VKI_PAGE_SIZE
 
+//----------------------------------------------------------------------
+// From linux-2.6.35.4/arch/x86/include/asm/shmparam.h
+//----------------------------------------------------------------------
+
+#define VKI_SHMLBA  VKI_PAGE_SIZE
+
 //----------------------------------------------------------------------
 // From linux-2.6.8.1/include/asm-i386/signal.h
 //----------------------------------------------------------------------