--- dietlibc/t.c	2009/10/27 23:19:19	1.216
+++ dietlibc/t.c	2010/09/23 00:27:36	1.217
@@ -103,7 +103,7 @@ int compint(const void *a, const void *b
 extern char* strcpy2(char*a,char*b);
 
 #define rdtscl(low) \
-     __asm__ __volatile__ ("rdtscp" : "=a" (low) : : "ecx","edx")
+     __asm__ __volatile__ ("lfence\nrdtsc" : "=a" (low) : : "ecx","edx")
 
 #define malloc(x) ({typeof(x) y=x; (y<0 || (size_t)(y)!=y ? 0 : malloc(y));})