Index: kernel/arch/ia64/src/drivers/ski.c
===================================================================
--- kernel/arch/ia64/src/drivers/ski.c	(revision a35b458e9db1ca95e679799dc7c1b12c83359ca3)
+++ kernel/arch/ia64/src/drivers/ski.c	(revision f712a858b9463dae30e9eee5ef1ccc54ae618f02)
@@ -84,11 +84,11 @@
 
 	asm volatile (
-		"mov r15 = %1\n"
-		"break 0x80000;;\n"  /* modifies r8 */
-		"mov %0 = r8;;\n"
-
-		: "=r" (ch)
-		: "i" (SKI_GETCHAR)
-		: "r15", "r8"
+	    "mov r15 = %1\n"
+	    "break 0x80000;;\n"  /* modifies r8 */
+	    "mov %0 = r8;;\n"
+
+	    : "=r" (ch)
+	    : "i" (SKI_GETCHAR)
+	    : "r15", "r8"
 	);
 
@@ -143,9 +143,9 @@
 
 	asm volatile (
-		"mov r15 = %0\n"
-		"break 0x80000\n"
-		:
-		: "i" (SKI_INIT_CONSOLE)
-		: "r15", "r8"
+	    "mov r15 = %0\n"
+	    "break 0x80000\n"
+	    :
+	    : "i" (SKI_INIT_CONSOLE)
+	    : "r15", "r8"
 	);
 
@@ -169,10 +169,10 @@
 {
 	asm volatile (
-		"mov r15 = %[cmd]\n"
-		"mov r32 = %[ch]\n"   /* r32 is in0 */
-		"break 0x80000\n"     /* modifies r8 */
-		:
-		: [cmd] "i" (SKI_PUTCHAR), [ch] "r" (ch)
-		: "r15", "in0", "r8"
+	    "mov r15 = %[cmd]\n"
+	    "mov r32 = %[ch]\n"   /* r32 is in0 */
+	    "break 0x80000\n"     /* modifies r8 */
+	    :
+	    : [cmd] "i" (SKI_PUTCHAR), [ch] "r" (ch)
+	    : "r15", "in0", "r8"
 	);
 }