update

[l4.git] / l4 / pkg / valgrind / src / valgrind-3.6.0-svn / VEX / priv / main_util.c

diff --git a/l4/pkg/valgrind/src/valgrind-3.6.0-svn/VEX/priv/main_util.c b/l4/pkg/valgrind/src/valgrind-3.6.0-svn/VEX/priv/main_util.c
index a4f8fd576abc7a1e4437afe67ab487f1cf0f07a0..a4706cf4c59f747b60cbf7646715b9526c232833 100644 (file)
--- a/l4/pkg/valgrind/src/valgrind-3.6.0-svn/VEX/priv/main_util.c
+++ b/l4/pkg/valgrind/src/valgrind-3.6.0-svn/VEX/priv/main_util.c
@@ -51,7 +51,7 @@
    MByte/sec.  Once the size increases enough to fall out of the cache
    into memory, the rate falls by about a factor of 3. 
 */
-#define N_TEMPORARY_BYTES 4000000
+#define N_TEMPORARY_BYTES 5000000
 
 static HChar  temporary[N_TEMPORARY_BYTES] __attribute__((aligned(8)));
 static HChar* temporary_first = &temporary[0];
@@ -235,7 +235,7 @@ void vpanic ( HChar* str )
    New code for vex_util.c should go above this point. */
 #include <stdarg.h>
 
-static Int vex_strlen ( const HChar* str )
+Int vex_strlen ( const HChar* str )
 {
    Int i = 0;
    while (str[i] != 0) i++;