X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/f4122e6e085938b6d216a9ec724b974a603f6992..983fe7c4ac262f56d38a143b1efab1e4afb77a52:/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 a4f8fd576..a4706cf4c 100644
--- 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++;