Index: kernel/arch/amd64/include/arch/asm.h
===================================================================
--- kernel/arch/amd64/include/arch/asm.h	(revision 36df41093d27358efd761887622e3076ed51cd14)
+++ kernel/arch/amd64/include/arch/asm.h	(revision 10cb47eaa0c19e8c686b3c5e3d3e6084e07b901c)
@@ -235,4 +235,5 @@
  *
  * @return Current interrupt priority level.
+ *
  */
 NO_TRACE static inline ipl_t interrupts_read(void)
@@ -246,4 +247,5 @@
  *
  * @return Old interrupt priority level.
+ *
  */
 NO_TRACE static inline ipl_t interrupts_enable(void)
@@ -261,4 +263,5 @@
  *
  * @return Old interrupt priority level.
+ *
  */
 NO_TRACE static inline ipl_t interrupts_disable(void)
Index: kernel/arch/amd64/src/asm.S
===================================================================
--- kernel/arch/amd64/src/asm.S	(revision 36df41093d27358efd761887622e3076ed51cd14)
+++ kernel/arch/amd64/src/asm.S	(revision 10cb47eaa0c19e8c686b3c5e3d3e6084e07b901c)
@@ -180,5 +180,5 @@
 		subq $(ISTATE_SOFT_SIZE + 8), %rsp
 	.endif
-
+	
 	/*
 	 * Save the general purpose registers.
@@ -346,5 +346,5 @@
 	swapgs
 	sti
-
+	
 	/* Copy the 4th argument where it is expected  */
 	movq %r10, %rcx
Index: kernel/arch/amd64/src/context.S
===================================================================
--- kernel/arch/amd64/src/context.S	(revision 36df41093d27358efd761887622e3076ed51cd14)
+++ kernel/arch/amd64/src/context.S	(revision 10cb47eaa0c19e8c686b3c5e3d3e6084e07b901c)
@@ -78,5 +78,5 @@
 	movq CONTEXT_OFFSET_PC(%rdi), %rdx
 	movq %rdx, (%rsp)
-
+	
 	movq CONTEXT_OFFSET_TP(%rdi), %rcx 
 	movq vreg_ptr, %rsi