Index: kernel/arch/mips32/src/debugger.c
===================================================================
--- kernel/arch/mips32/src/debugger.c	(revision e16e0d595cccccd7668bd8111478ac903c1b3be3)
+++ kernel/arch/mips32/src/debugger.c	(revision aa85487c600b0fee35e8be1a6edd9b5b1a9a0646)
@@ -253,14 +253,13 @@
 {
 	unsigned int i;
-	char *symbol;
 	
 	printf("#  Count Address    INPROG ONESHOT FUNCCALL In symbol\n");
 	printf("-- ----- ---------- ------ ------- -------- ---------\n");
 	
-	for (i = 0; i < BKPOINTS_MAX; i++)
+	for (i = 0; i < BKPOINTS_MAX; i++) {
 		if (breakpoints[i].address) {
-			symbol = symtab_fmt_name_lookup(
+			const char *symbol = symtab_fmt_name_lookup(
 			    breakpoints[i].address);
-
+			
 			printf("%-2u %-5d %#10zx %-6s %-7s %-8s %s\n", i,
 			    breakpoints[i].counter, breakpoints[i].address,
@@ -270,4 +269,6 @@
 			    BKPOINT_FUNCCALL) ? "true" : "false"), symbol);
 		}
+	}
+	
 	return 1;
 }