Index: kernel/arch/ia32/include/bios/bios.h
===================================================================
--- kernel/arch/ia32/include/bios/bios.h	(revision 68667ce251475e56b598e8d4f25c20a87dc24b15)
+++ kernel/arch/ia32/include/bios/bios.h	(revision 2ddcc7b0c2ebbacaf67571285d726dc6b2a52966)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup ia32	
+/** @addtogroup ia32
  * @{
  */
@@ -38,5 +38,5 @@
 #include <typedefs.h>
 
-#define BIOS_EBDA_PTR	0x40e
+#define BIOS_EBDA_PTR  0x40e
 
 extern uintptr_t ebda;
Index: kernel/arch/ia32/include/drivers/i8259.h
===================================================================
--- kernel/arch/ia32/include/drivers/i8259.h	(revision 68667ce251475e56b598e8d4f25c20a87dc24b15)
+++ kernel/arch/ia32/include/drivers/i8259.h	(revision 2ddcc7b0c2ebbacaf67571285d726dc6b2a52966)
@@ -48,6 +48,6 @@
 
 extern void i8259_init(void);
-extern void pic_enable_irqs(uint16_t irqmask);
-extern void pic_disable_irqs(uint16_t irqmask);
+extern void pic_enable_irqs(uint16_t);
+extern void pic_disable_irqs(uint16_t);
 extern void pic_eoi(void);
 
Index: kernel/arch/ia32/include/fpu_context.h
===================================================================
--- kernel/arch/ia32/include/fpu_context.h	(revision 68667ce251475e56b598e8d4f25c20a87dc24b15)
+++ kernel/arch/ia32/include/fpu_context.h	(revision 2ddcc7b0c2ebbacaf67571285d726dc6b2a52966)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup ia32	
+/** @addtogroup ia32
  * @{
  */
@@ -38,13 +38,12 @@
 #include <typedefs.h>
 
-#define FPU_CONTEXT_ALIGN 16
-
-void fpu_fxsr(void);
-void fpu_fsr(void);
-
+#define FPU_CONTEXT_ALIGN  16
 
 typedef struct {
-	uint8_t fpu[512]; 		/* FXSAVE & FXRSTOR storage area */
+	uint8_t fpu[512];  /* FXSAVE & FXRSTOR storage area */
 } fpu_context_t;
+
+extern void fpu_fxsr(void);
+extern void fpu_fsr(void);
 
 #endif
Index: kernel/arch/ia32/include/mm/asid.h
===================================================================
--- kernel/arch/ia32/include/mm/asid.h	(revision 68667ce251475e56b598e8d4f25c20a87dc24b15)
+++ kernel/arch/ia32/include/mm/asid.h	(revision 2ddcc7b0c2ebbacaf67571285d726dc6b2a52966)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup ia32mm	
+/** @addtogroup ia32mm
  * @{
  */
@@ -47,7 +47,7 @@
 typedef int32_t asid_t;
 
-#define ASID_MAX_ARCH		3
+#define ASID_MAX_ARCH  3
 
-#define asid_get()		(ASID_START + 1)
+#define asid_get()  (ASID_START + 1)
 #define asid_put(asid)
 
Index: kernel/arch/ia32/src/bios/bios.c
===================================================================
--- kernel/arch/ia32/src/bios/bios.c	(revision 68667ce251475e56b598e8d4f25c20a87dc24b15)
+++ kernel/arch/ia32/src/bios/bios.c	(revision 2ddcc7b0c2ebbacaf67571285d726dc6b2a52966)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup ia32	
+/** @addtogroup ia32
  * @{
  */
Index: kernel/arch/ia32/src/mm/as.c
===================================================================
--- kernel/arch/ia32/src/mm/as.c	(revision 68667ce251475e56b598e8d4f25c20a87dc24b15)
+++ kernel/arch/ia32/src/mm/as.c	(revision 2ddcc7b0c2ebbacaf67571285d726dc6b2a52966)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup ia32mm	
+/** @addtogroup ia32mm
  * @{
  */
Index: kernel/arch/ia32/src/mm/tlb.c
===================================================================
--- kernel/arch/ia32/src/mm/tlb.c	(revision 68667ce251475e56b598e8d4f25c20a87dc24b15)
+++ kernel/arch/ia32/src/mm/tlb.c	(revision 2ddcc7b0c2ebbacaf67571285d726dc6b2a52966)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup ia32mm	
+/** @addtogroup ia32mm
  * @{
  */