update

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

diff --git a/l4/pkg/valgrind/src/valgrind-3.6.0-svn/include/vki/vki-ppc64-linux.h b/l4/pkg/valgrind/src/valgrind-3.6.0-svn/include/vki/vki-ppc64-linux.h
index 4d786bb242680638edc439eaa6ea005da9bfd250..5af8470f4ff4d716f73c61bb4eceb35a218b1d90 100644 (file)
--- a/l4/pkg/valgrind/src/valgrind-3.6.0-svn/include/vki/vki-ppc64-linux.h
+++ b/l4/pkg/valgrind/src/valgrind-3.6.0-svn/include/vki/vki-ppc64-linux.h
@@ -69,6 +69,12 @@ extern unsigned long VKI_PAGE_SIZE;
 #define VKI_MAX_PAGE_SHIFT     16
 #define VKI_MAX_PAGE_SIZE      (1UL << VKI_MAX_PAGE_SHIFT)
 
+//----------------------------------------------------------------------
+// From linux-2.6.35.4/arch/powerpc/include/asm/shmparam.h
+//----------------------------------------------------------------------
+
+#define VKI_SHMLBA  VKI_PAGE_SIZE
+
 //----------------------------------------------------------------------
 // From linux-2.6.13/include/asm-ppc64/signal.h
 //----------------------------------------------------------------------