# HG changeset patch
# User Merten Sach <msach@mailbox.tu-berlin.de>
# Date 1310409543 -7200
# Node ID 21c95d402fe66570067000e484bfec9a5d92c9d0
# Parent  a214c84dff4e609af1128c32f04f59fae61875e0
malloc_touch

diff -r a214c84dff4e -r 21c95d402fe6 vmalloc.c
--- a/vmalloc.c	Mon Jul 11 20:35:54 2011 +0200
+++ b/vmalloc.c	Mon Jul 11 20:39:03 2011 +0200
@@ -451,7 +451,7 @@
    firstChunk   = malloc( MALLOC_ADDITIONAL_MEM_FROM_OS_SIZE );
    if( firstChunk == NULL ) {printf("malloc error\n"); exit(1);}
    
-   Touch memory to avoid page faults
+   //Touch memory to avoid page faults
    void *ptr,*endPtr; 
    endPtr = (void*)firstChunk+MALLOC_ADDITIONAL_MEM_FROM_OS_SIZE;
    for(ptr = firstChunk; ptr < endPtr; ptr+=PAGE_SIZE)