Index: arch/ia32/src/fpu_context.c
===================================================================
--- arch/ia32/src/fpu_context.c	(revision 649d96b3f69cac6a2c1a1f19408e8813272ecb99)
+++ arch/ia32/src/fpu_context.c	(revision be56c17fb7a40db7401fc109228679d3c7c5cb40)
@@ -50,28 +50,18 @@
 void fpu_lazy_context_save(fpu_context_t *fctx)
 {
-	asm
-	(
-		"push %%eax;"
-		"mov 0x8(%%esp),%%eax;"
-		"fnsave (%%eax);"
-		"pop %%eax;"
-		:"=m"(fctx)
-		:
-		:"eax"
-	);	
+	return;
+	__asm__ (
+		"fnsave %0"
+		: "=m"(fctx)
+		);
 }
 
 void fpu_lazy_context_restore(fpu_context_t *fctx)
 {
-	asm
-	(
-		"push %%eax;"
-		"mov 0x8(%%esp),%%eax;"
-		"frstor (%%eax);"
-		"pop %%eax;"
-		:"=m"(fctx)
-		:
-		:"eax"
-	);
+	return;
+	__asm__ (
+		"frstor %0"
+		: "=m"(fctx)
+		);
 }