Index: kernel/arch/mips32/src/debugger.c
===================================================================
--- kernel/arch/mips32/src/debugger.c	(revision 7328ff41dcbe15332d62c013417ec72bbb613ee6)
+++ kernel/arch/mips32/src/debugger.c	(revision 3cfe2b8dd986aa1b72746ca06ec25e4e5cb45284)
@@ -412,5 +412,5 @@
 		 *   so this is a good idea
 		 */
-		atomic_set(&haltstate, 1);
+		atomic_store(&haltstate, 1);
 		irq_spinlock_unlock(&bkpoint_lock, false);
 
@@ -418,5 +418,5 @@
 
 		irq_spinlock_lock(&bkpoint_lock, false);
-		atomic_set(&haltstate, 0);
+		atomic_store(&haltstate, 0);
 #endif
 	}