Use a very fast in-line allocator.  This improves its performance by
up to 10% on a P4.


git-svn-id: svn://svn.valgrind.org/vex/trunk@1469 8f6e269a-dfd6-0310-a8e1-e2731360e62c
diff --git a/priv/main/vex_util.h b/priv/main/vex_util.h
index afe94c8..6ec1e7a 100644
--- a/priv/main/vex_util.h
+++ b/priv/main/vex_util.h
@@ -101,9 +101,9 @@
 
 extern void         vexSetAllocMode ( VexAllocMode );
 extern VexAllocMode vexGetAllocMode ( void );
+extern void         vexAllocSanityCheck ( void );
 
-extern void vexClearTEMP ( void );
-
+extern void vexSetAllocModeTEMP_and_clear ( void );
 
 #endif /* ndef __VEX_UTIL_H */