diff -r 9bbad972eb2a -r 97197b795fe6 functions.h
--- a/functions.h	Sun Jul 17 12:44:35 2005 +0000
+++ b/functions.h	Sun Jul 17 12:49:00 2005 +0000
@@ -126,6 +126,12 @@
 uint32 InteractiveRandom(void); /* Used for random sequences that are not the same on the other end of the multiplayer link */
 uint InteractiveRandomRange(uint max);
 
+
+// Used for profiling
+#define TIC() { extern uint32 rdtsc(void); uint32 _xxx_ = rdtsc();
+#define TOC(s) 	_xxx_ = rdtsc() - _xxx_; printf("%s: %d\n", s, _xxx_); }
+
+
 void SetDate(uint date);
 /* facedraw.c */
 void DrawPlayerFace(uint32 face, int color, int x, int y);