Index: kernel/arch/mips32/src/debugger.c
===================================================================
--- kernel/arch/mips32/src/debugger.c	(revision d99c1d2ba8c7b2c687d430f2e9fd237046606545)
+++ kernel/arch/mips32/src/debugger.c	(revision acda8f0d860aed5b8131e3a02a130210c66dbed7)
@@ -164,4 +164,5 @@
 			printf("Duplicate breakpoint %d.\n", i);
 			spinlock_unlock(&bkpoint_lock);
+			interrupts_restore(ipl);
 			return 0;
 		} else if (breakpoints[i].address == (uintptr_t)argv->intval +
@@ -171,4 +172,5 @@
 			    "with %d.\n", i);
 			spinlock_unlock(&bkpoint_lock);
+			interrupts_restore(ipl);
 			return 0;
 		}