Changes in kernel/arch/amd64/src/debugger.c [e16e0d59:26d3ae2] in mainline

File:

• kernel/arch/amd64/src/debugger.c (modified) (2 diffs)

kernel/arch/amd64/src/debugger.c

@@ -201 +201 @@
 
         /* Send IPI */
-#ifdef CONFIG_SMP
 //      ipi_broadcast(VECTOR_DEBUG_IPI);
-#endif  
 
         return curidx;
@@ -262 +260 @@
         spinlock_unlock(&bkpoint_lock);
         interrupts_restore(ipl);
-#ifdef CONFIG_SMP
-//      ipi_broadcast(VECTOR_DEBUG_IPI);        
-#endif
+//      ipi_broadcast(VECTOR_DEBUG_IPI);
 }