update

[l4.git] / kernel / fiasco / src / jdb / arm / jdb_entry_frame-arm.cpp

diff --git a/kernel/fiasco/src/jdb/arm/jdb_entry_frame-arm.cpp b/kernel/fiasco/src/jdb/arm/jdb_entry_frame-arm.cpp
index dabed6dd5650121f5f77f826285d9086dbb3be5e..a41ee5885f644939e6c3de5165366060c062cb27 100644 (file)
--- a/kernel/fiasco/src/jdb/arm/jdb_entry_frame-arm.cpp
+++ b/kernel/fiasco/src/jdb/arm/jdb_entry_frame-arm.cpp
@@ -64,7 +64,7 @@ Jdb_entry_frame::dump() const
 IMPLEMENT inline
 bool
 Jdb_entry_frame::debug_ipi() const
-{ return error_code == 0x00f00000; }
+{ return error_code == 0x00e00002; }
 
 IMPLEMENT inline NEEDS["processor.h"]
 Address_type