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 */