Index: arch/mips32/src/debugger.c
===================================================================
--- arch/mips32/src/debugger.c	(revision 25d77096d63abbb97d50a9cafaf9e3e5379a6f5d)
+++ arch/mips32/src/debugger.c	(revision 73e9b49f68fcee880d656c3073aeba64b022fbfc)
@@ -243,5 +243,5 @@
 		if (breakpoints[i].address) {
 			symbol = get_symtab_entry(breakpoints[i].address);
-			printf("%d. 0x%p in %s\n",i,
+			printf("%d. %p in %s\n",i,
 			       breakpoints[i].address, symbol);
 			printf("     Count(%d) ", breakpoints[i].counter);
@@ -329,5 +329,5 @@
 		
 		if (!(cur->flags & BKPOINT_FUNCCALL))
-			printf("***Breakpoint %d: 0x%p in %s.\n", i, 
+			printf("***Breakpoint %d: %p in %s.\n", i, 
 			       fireaddr, get_symtab_entry(istate->epc));
 
@@ -342,5 +342,5 @@
 		cur->flags |= BKPOINT_INPROG;
 	} else {
-		printf("***Breakpoint 0x%p in %s.\n", fireaddr, 
+		printf("***Breakpoint %p in %s.\n", fireaddr, 
 		       get_symtab_entry(fireaddr));
 		/* Move on to next instruction */