From 1bda8f00e0f5e2b1e7122dceab40ae3877d9f8f9 Mon Sep 17 00:00:00 2001
From: Anthony Scemama <scemama@irsamc.ups-tlse.fr>
Date: Fri, 30 Sep 2011 21:46:08 +0200
Subject: [PATCH] Bug in rtdsc

---
 src/profile.py | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/profile.py b/src/profile.py
index 4732a2c..b28586d 100644
--- a/src/profile.py
+++ b/src/profile.py
@@ -2,13 +2,13 @@
 
 rdtsc = """
 #define uint64_t unsigned long
-//#ifdef __i386
+#ifdef __i386
 uint64_t irp_rdtsc_() {
   uint64_t x;
   __asm__ volatile ("rdtsc" : "=A" (x));
   return x;
 }
-#if __amd64
+#elif __amd64
 uint64_t irp_rdtsc_() {
   uint64_t a, d;
   __asm__ volatile ("rdtsc" : "=a" (a), "=d" (d));