Index: kernel/arch/ia32/src/fpu_context.c
===================================================================
--- kernel/arch/ia32/src/fpu_context.c	(revision 3194d83cd48bf0ba94cbc3623cfce9300290003f)
+++ kernel/arch/ia32/src/fpu_context.c	(revision 802898f596cd8135db8d9d44c39a11981b5b7ecc)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup ia32	
+/** @addtogroup ia32
  * @{
  */
@@ -37,5 +37,4 @@
 #include <arch.h>
 #include <cpu.h>
-
 
 /** x87 FPU scr values (P3+ MMX2) */
@@ -60,12 +59,12 @@
 	X87_DENORMAL_EXC_FLAG = (1 << 1),
 	X87_INVALID_OP_EXC_FLAG = (1 << 0),
-
+	
 	X87_ALL_MASK = X87_PRECISION_MASK | X87_UNDERFLOW_MASK | X87_OVERFLOW_MASK | X87_ZERO_DIV_MASK | X87_DENORMAL_OP_MASK | X87_INVALID_OP_MASK,
 };
 
-
 typedef void (*fpu_context_function)(fpu_context_t *fctx);
 
-static fpu_context_function fpu_save, fpu_restore;
+static fpu_context_function fpu_save;
+static fpu_context_function fpu_restore;
 
 static void fpu_context_f_save(fpu_context_t *fctx)
@@ -104,6 +103,6 @@
 void fpu_fxsr(void)
 {
-	fpu_save=fpu_context_fx_save;
-	fpu_restore=fpu_context_fx_restore;
+	fpu_save = fpu_context_fx_save;
+	fpu_restore = fpu_context_fx_restore;
 }