Index: kernel/arch/ia32/include/arch/asm.h
===================================================================
--- kernel/arch/ia32/include/arch/asm.h	(revision 36df41093d27358efd761887622e3076ed51cd14)
+++ kernel/arch/ia32/include/arch/asm.h	(revision 4bf0926eafdfba5eb055645d92feb2f44e40542f)
@@ -259,4 +259,5 @@
  *
  * @return Current interrupt priority level.
+ *
  */
 NO_TRACE static inline ipl_t interrupts_read(void)
@@ -270,4 +271,5 @@
  *
  * @return Old interrupt priority level.
+ *
  */
 NO_TRACE static inline ipl_t interrupts_enable(void)
@@ -285,4 +287,5 @@
  *
  * @return Old interrupt priority level.
+ *
  */
 NO_TRACE static inline ipl_t interrupts_disable(void)
Index: kernel/arch/ia32/include/arch/cpuid.h
===================================================================
--- kernel/arch/ia32/include/arch/cpuid.h	(revision 36df41093d27358efd761887622e3076ed51cd14)
+++ kernel/arch/ia32/include/arch/cpuid.h	(revision 4bf0926eafdfba5eb055645d92feb2f44e40542f)
@@ -85,16 +85,16 @@
 	
 	asm volatile (
-		"pushf\n"			/* read flags */
+		"pushf\n"                      /* read flags */
 		"popl %[ret]\n"
 		"movl %[ret], %[val]\n"
 		
-		"xorl %[eflags_id], %[val]\n"	/* swap the ID bit */
+		"xorl %[eflags_id], %[val]\n"  /* swap the ID bit */
 		
-		"pushl %[val]\n"		/* propagate the change into flags */
+		"pushl %[val]\n"               /* propagate the change into flags */
 		"popf\n"
 		"pushf\n"
 		"popl %[val]\n"
 		
-		"andl %[eflags_id], %[ret]\n"	/* interrested only in ID bit */
+		"andl %[eflags_id], %[ret]\n"  /* interrested only in ID bit */
 		"andl %[eflags_id], %[val]\n"
 		"xorl %[val], %[ret]\n"
Index: kernel/arch/ia32/src/context.S
===================================================================
--- kernel/arch/ia32/src/context.S	(revision 36df41093d27358efd761887622e3076ed51cd14)
+++ kernel/arch/ia32/src/context.S	(revision 4bf0926eafdfba5eb055645d92feb2f44e40542f)
@@ -59,5 +59,4 @@
 FUNCTION_END(context_save_arch)
 
-
 ## Restore saved CPU context
 #
Index: kernel/arch/ia32/src/ia32.c
===================================================================
--- kernel/arch/ia32/src/ia32.c	(revision 36df41093d27358efd761887622e3076ed51cd14)
+++ kernel/arch/ia32/src/ia32.c	(revision 4bf0926eafdfba5eb055645d92feb2f44e40542f)
@@ -143,5 +143,4 @@
 		zone_merge_all();
 	}
-
 }
 
Index: kernel/arch/ia32/src/smp/ap.S
===================================================================
--- kernel/arch/ia32/src/smp/ap.S	(revision 36df41093d27358efd761887622e3076ed51cd14)
+++ kernel/arch/ia32/src/smp/ap.S	(revision 4bf0926eafdfba5eb055645d92feb2f44e40542f)
@@ -75,7 +75,7 @@
 	movw %ax, %es
 	movw %ax, %ss
-	movl $KA2PA(ctx), %eax		/* KA2PA((uintptr_t) &ctx) */
+	movl $KA2PA(ctx), %eax          /* KA2PA((uintptr_t) &ctx) */
 	movl CONTEXT_OFFSET_SP(%eax), %esp
-	leal KA2PA(0)(%esp), %esp	/* KA2PA(ctx.sp) */
+	leal KA2PA(0)(%esp), %esp       /* KA2PA(ctx.sp) */
 
 	/*
@@ -85,5 +85,5 @@
 	call map_kernel_pse
 	
-	addl $PA2KA(0), %esp		/* PA2KA(ctx.sp) */
+	addl $PA2KA(0), %esp            /* PA2KA(ctx.sp) */
 	
 	/* create the first stack frame */