1.1 --- a/vmalloc.h	Fri Feb 03 19:04:12 2012 +0100
     1.2 +++ b/vmalloc.h	Mon Feb 13 19:35:32 2012 +0100
     1.3 @@ -52,24 +52,29 @@
     1.4   }
     1.5  FreeListHead;
     1.6  
     1.7 -void *
     1.8 -VMS__malloc( size_t sizeRequested );
     1.9 +//comply with interface of HW__generic_x86_64_MC branch
    1.10 +#define VMS_WL__malloc VMS_int__malloc
    1.11 +#define VMS_WL__malloc_aligned VMS_int__malloc_aligned
    1.12 +#define VMS_WL__free VMS_int__free
    1.13  
    1.14  void *
    1.15 -VMS__malloc_aligned( size_t sizeRequested );
    1.16 +VMS_int__malloc( size_t sizeRequested );
    1.17 +
    1.18 +void *
    1.19 +VMS_int__malloc_aligned( size_t sizeRequested );
    1.20  
    1.21  void
    1.22 -VMS__free( void *ptrToFree );
    1.23 +VMS_int__free( void *ptrToFree );
    1.24  
    1.25  /*Allocates memory from the external system -- higher overhead
    1.26   */
    1.27  void *
    1.28 -VMS__malloc_in_ext( size_t sizeRequested );
    1.29 +VMS_int__malloc_in_ext( size_t sizeRequested );
    1.30  
    1.31  /*Frees memory that was allocated in the external system -- higher overhead
    1.32   */
    1.33  void
    1.34 -VMS__free_in_ext( void *ptrToFree );
    1.35 +VMS_int__free_in_ext( void *ptrToFree );
    1.36  
    1.37  
    1.38  MallocArrays *