update

[l4.git] / kernel / fiasco / src / jdb / ia32 / jdb-ia32-amd64.cpp

diff --git a/kernel/fiasco/src/jdb/ia32/jdb-ia32-amd64.cpp b/kernel/fiasco/src/jdb/ia32/jdb-ia32-amd64.cpp
index a9145d58e3c931b077e3f4e47dd4313e005585c5..f3103f31a07428fb6df1179d691eaf5d81f73cfd 100644 (file)
--- a/kernel/fiasco/src/jdb/ia32/jdb-ia32-amd64.cpp
+++ b/kernel/fiasco/src/jdb/ia32/jdb-ia32-amd64.cpp
@@ -827,6 +827,9 @@ Jdb::handle_user_request(Cpu_number cpu)
 {
   Jdb_entry_frame *entry_frame = Jdb::entry_frame.cpu(cpu);
 
+  if (entry_frame->debug_ipi())
+    return cpu != Cpu_number::boot_cpu();
+
   if (entry_frame->_trapno == 3)
     {
       Space *task = get_task(cpu);