Changes in kernel/arch/amd64/src/debugger.c [26d3ae2:e16e0d59] 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;
@@ -260 +262 @@
         spinlock_unlock(&bkpoint_lock);
         interrupts_restore(ipl);
-//      ipi_broadcast(VECTOR_DEBUG_IPI);
+#ifdef CONFIG_SMP
+//      ipi_broadcast(VECTOR_DEBUG_IPI);        
+#endif
 }