--- vl.c.orig	2004-04-01 10:44:57.000000000 +0200
+++ vl.c	2004-04-01 10:38:25.000000000 +0200
@@ -341,7 +341,7 @@
 int64_t cpu_get_real_ticks(void)
 {
     int64_t val;
-    asm("rdtsc" : "=A" (val));
+    asm volatile ("rdtsc" : "=A" (val));
     return val;
 }