Index: kernel/arch/ia32/src/fpu_context.c
===================================================================
--- kernel/arch/ia32/src/fpu_context.c	(revision 32fffef00aa36a7913892cc0d7ff6eff828b2e7e)
+++ kernel/arch/ia32/src/fpu_context.c	(revision 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia32	
+/** @addtogroup ia32	
  * @{
  */
@@ -40,7 +40,5 @@
 typedef void (*fpu_context_function)(fpu_context_t *fctx);
 
-static fpu_context_function fpu_save,fpu_restore;
-
-
+static fpu_context_function fpu_save, fpu_restore;
 
 static void fpu_context_f_save(fpu_context_t *fctx)
@@ -89,9 +87,7 @@
 void fpu_fsr(void)
 {
-	fpu_save=fpu_context_f_save;
-	fpu_restore=fpu_context_f_restore;
+	fpu_save = fpu_context_f_save;
+	fpu_restore = fpu_context_f_restore;
 }
-
-
 
 void fpu_context_save(fpu_context_t *fctx)
@@ -105,9 +101,7 @@
 }
 
-
-
 void fpu_init()
 {
-	uint32_t help0=0,help1=0;
+	uint32_t help0 = 0, help1 = 0;
 	__asm__ volatile (
 		"fninit;\n"
@@ -117,10 +111,9 @@
 		"mov %1,%0;\n"
 		"ldmxcsr %0;\n"
-		:"+m"(help0),"+r"(help1)
-		:"i"(0x1f80)
+		: "+m" (help0), "+r" (help1)
+		: "i" (0x1f80)
 	);
 }
 
- /** @}
+/** @}
  */
-