Index: arch/ia32/src/context.s
===================================================================
--- arch/ia32/src/context.s	(revision 5dc21120e7649bb8e22fdf4cec2cf2234836a312)
+++ arch/ia32/src/context.s	(revision ca90d6514ad952eddb6ba612fb54e45e73d64b8e)
@@ -79,20 +79,20 @@
 .global fpu_context_save
 fpu_context_save:
-    ret
+        ret
 .global fpu_context_restore
 fpu_context_restore:
-    ret
+        ret
 
 .global fpu_lazy_context_save
 fpu_lazy_context_save:
-    mov 4(%esp),%eax;
-    fxsave (%eax)
-    xor %eax,%eax;
-    ret;
+        mov 4(%esp),%eax;
+        fxsave (%eax)
+        xor %eax,%eax;
+        ret;
 .global fpu_lazy_context_restore
 fpu_lazy_context_restore:
-    mov 4(%esp),%eax;
-    fxrstor (%eax)
-    xor %eax,%eax;
-    ret;
+        mov 4(%esp),%eax;
+        fxrstor (%eax)
+        xor %eax,%eax;
+       ret;