Index: /trunk/lib/perflib/i386_timer.h
===================================================================
--- /trunk/lib/perflib/i386_timer.h	(revision 462)
+++ /trunk/lib/perflib/i386_timer.h	(revision 2167)
@@ -10,5 +10,5 @@
 #define cycle_counter_units "cyc"
 
-typedef unsigned long long int timestamp_t;
+typedef uint64_t timestamp_t;
 
 static inline timestamp_t read_cycle_counter () {