Index: kernel/arch/amd64/src/debugger.c
===================================================================
--- kernel/arch/amd64/src/debugger.c	(revision e32e092d6f8bed442ecc81b18af9ef323bc4e650)
+++ kernel/arch/amd64/src/debugger.c	(revision 37596817bd25b85f6b01ed4b67b6a8ebdfccbdc1)
@@ -123,11 +123,13 @@
 
 #ifdef __32_BITS__
-			printf("%-2u %-5d %#10zx %s\n", i, breakpoints[i].counter,
-				breakpoints[i].address, symbol);
+			printf("%-2u %-5d %#10zx %s\n", i,
+			    breakpoints[i].counter, breakpoints[i].address,
+			    symbol);
 #endif
 
 #ifdef __64_BITS__
-			printf("%-2u %-5d %#18zx %s\n", i, breakpoints[i].counter,
-				breakpoints[i].address, symbol);
+			printf("%-2u %-5d %#18zx %s\n", i,
+			    breakpoints[i].counter, breakpoints[i].address,
+			    symbol);
 #endif
 
@@ -185,5 +187,5 @@
 
 		/* Enable global breakpoint */
-		dr7 |= 0x2 << (curidx*2);
+		dr7 |= 0x2 << (curidx * 2);
 
 		write_dr7(dr7);
@@ -257,13 +259,13 @@
 			if (*((unative_t *) breakpoints[slot].address) != 0)
 				return;
-			printf("**** Found ZERO on address %lx (slot %d) ****\n",
-				breakpoints[slot].address, slot);
+			printf("*** Found ZERO on address %lx (slot %d) ***\n",
+			    breakpoints[slot].address, slot);
 		} else {
 			printf("Data watchpoint - new data: %lx\n",
-			       *((unative_t *) breakpoints[slot].address));
+			    *((unative_t *) breakpoints[slot].address));
 		}
 	}
 	printf("Reached breakpoint %d:%lx(%s)\n", slot, getip(istate),
-	       get_symtab_entry(getip(istate)));
+	    get_symtab_entry(getip(istate)));
 	printf("***Type 'exit' to exit kconsole.\n");
 	atomic_set(&haltstate,1);
@@ -358,5 +360,7 @@
 
 #ifdef CONFIG_SMP
-static void debug_ipi(int n __attribute__((unused)), istate_t *istate __attribute__((unused)))
+static void
+debug_ipi(int n __attribute__((unused)),
+    istate_t *istate __attribute__((unused)))
 {
 	int i;
@@ -374,5 +378,5 @@
 	int i;
 
-	for (i=0; i<BKPOINTS_MAX; i++)
+	for (i = 0; i < BKPOINTS_MAX; i++)
 		breakpoints[i].address = NULL;
 	
@@ -395,9 +399,7 @@
 #endif
 	
-	exc_register(VECTOR_DEBUG, "debugger",
-		     debug_exception);
+	exc_register(VECTOR_DEBUG, "debugger", debug_exception);
 #ifdef CONFIG_SMP
-	exc_register(VECTOR_DEBUG_IPI, "debugger_smp",
-		     debug_ipi);
+	exc_register(VECTOR_DEBUG_IPI, "debugger_smp", debug_ipi);
 #endif
 }