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 caa89db26843e56a0c0f666fc98d444b249cb63f..97e9c2f102ce421840e8d174a0cbbc9f5222bd98 100644 (file)
--- a/kernel/fiasco/src/kern/arm/kdb_ke-arm.cpp
+++ b/kernel/fiasco/src/kern/arm/kdb_ke-arm.cpp
@@ -1,8 +1,8 @@
 INTERFACE [arm]:
 
-void kdb_ke(const char *msg) asm ("kern_kdebug_entry") 
+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_entry")
 __attribute__((long_call));