Index: kernel/arch/mips32/src/debugger.c
===================================================================
--- kernel/arch/mips32/src/debugger.c	(revision f651e80e2ba6968d9e184dd8ca7fa6e5b779caaf)
+++ kernel/arch/mips32/src/debugger.c	(revision 30e2bbabc6e6d2fb1df50ace4a1582aa7b8d4617)
@@ -163,5 +163,5 @@
 		if (breakpoints[i].address == (uintptr_t)argv->intval) {
 			printf("Duplicate breakpoint %d.\n", i);
-			spinlock_unlock(&bkpoints_lock);
+			spinlock_unlock(&bkpoint_lock);
 			return 0;
 		} else if (breakpoints[i].address == (uintptr_t)argv->intval +
@@ -170,8 +170,8 @@
 			printf("Adjacent breakpoints not supported, conflict "
 			    "with %d.\n", i);
-			spinlock_unlock(&bkpoints_lock);
+			spinlock_unlock(&bkpoint_lock);
 			return 0;
 		}
-			
+		
 	}