Index: kernel/arch/ia64/src/proc/scheduler.c
===================================================================
--- kernel/arch/ia64/src/proc/scheduler.c	(revision a35b458e9db1ca95e679799dc7c1b12c83359ca3)
+++ kernel/arch/ia64/src/proc/scheduler.c	(revision 1abcf1db7c2a8071caaf9983f1571b2ef88e1be6)
@@ -65,5 +65,5 @@
 
 		/* purge DTR[TR_STACK1] and DTR[TR_STACK2] */
-		dtr_purge((uintptr_t) THREAD->kstack, PAGE_WIDTH+1);
+		dtr_purge((uintptr_t) THREAD->kstack, PAGE_WIDTH + 1);
 
 		/* insert DTR[TR_STACK1] and DTR[TR_STACK2] */
@@ -84,12 +84,12 @@
 	 */
 	asm volatile (
-		"bsw.0\n"
-		"mov r22 = %0\n"
-		"mov r23 = %1\n"
-		"bsw.1\n"
-		:
-		: "r" (&THREAD->kstack[STACK_SIZE / 2]),
-		  "r" (&THREAD->kstack[STACK_SIZE / 2])
-		);
+	    "bsw.0\n"
+	    "mov r22 = %0\n"
+	    "mov r23 = %1\n"
+	    "bsw.1\n"
+	    :
+	    : "r" (&THREAD->kstack[STACK_SIZE / 2]),
+	      "r" (&THREAD->kstack[STACK_SIZE / 2])
+	);
 }