Index: arch/ia32/src/fpu_context.c
===================================================================
--- arch/ia32/src/fpu_context.c	(revision 87be9cfb65b571df193dcb18b85b9e41323761fa)
+++ arch/ia32/src/fpu_context.c	(revision f3ebb6497f267e4a44a4e59b458382cb8b11bc98)
@@ -52,24 +52,26 @@
 void fpu_lazy_context_save(fpu_context_t *fctx)
 {
+    printf("");
     asm(
         "mov %0,%%eax;"
         "fxsave (%%eax);"
-        "ret;"
 	:"=m"(fctx)
 	:
-	:"%eax"
+	:"eax"
     );	
+    printf("");
 }
 
 void fpu_lazy_context_restore(fpu_context_t *fctx)
 {
+    printf("");
     asm(
         "mov %0,%%eax;"
         "fxrstor (%%eax);"
-        "ret;"
 	:"=m"(fctx)
 	:
-	:"%eax"
+	:"eax"
     );
+    printf("");    
 }