update

[l4.git] / kernel / fiasco / src / kern / arm / kdb_ke-arm.cpp

diff --git a/kernel/fiasco/src/kern/arm/kdb_ke-arm.cpp b/kernel/fiasco/src/kern/arm/kdb_ke-arm.cpp
index 97e9c2f102ce421840e8d174a0cbbc9f5222bd98..edf4b33abb966e6281d512981f3fa7a71abcb38a 100644 (file)
--- a/kernel/fiasco/src/kern/arm/kdb_ke-arm.cpp
+++ b/kernel/fiasco/src/kern/arm/kdb_ke-arm.cpp
@@ -3,6 +3,6 @@ INTERFACE [arm]:
 void kdb_ke(const char *msg) asm ("kern_kdebug_entry")
 __attribute__((long_call));
 
-void kdb_ke_sequence(const char *msg) asm ("kern_kdebug_entry")
+void kdb_ke_sequence(const char *msg) asm ("kern_kdebug_sequence_entry")
 __attribute__((long_call));