X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/f4122e6e085938b6d216a9ec724b974a603f6992..983fe7c4ac262f56d38a143b1efab1e4afb77a52:/kernel/fiasco/src/kern/arm/entry_frame-arm.cpp

diff --git a/kernel/fiasco/src/kern/arm/entry_frame-arm.cpp b/kernel/fiasco/src/kern/arm/entry_frame-arm.cpp
index ce9ba85de..dc4ad74f8 100644
--- a/kernel/fiasco/src/kern/arm/entry_frame-arm.cpp
+++ b/kernel/fiasco/src/kern/arm/entry_frame-arm.cpp
@@ -29,12 +29,16 @@ IMPLEMENTATION [arm]:
 
 #include <cstdio>
 
-IMPLEMENT //inline
+IMPLEMENT
 void Syscall_frame::dump()
 {
-  for(int i = 0; i < 15; i+=4 )
-    printf("R[%2d]: %08lx R[%2d]: %08lx R[%2d]: %08lx R[%2d]: %08lx\n",
-           i,r[i],i+1,r[i+1],i+2,r[i+2],i+3,r[i+3]);
+  printf(" R0: %08lx  R1: %08lx  R2: %08lx  R3: %08lx\n",
+         r[0], r[1], r[2], r[3]);
+  printf(" R4: %08lx  R5: %08lx  R6: %08lx  R7: %08lx\n",
+         r[4], r[5], r[6], r[7]);
+  printf(" R8: %08lx  R9: %08lx R10: %08lx R11: %08lx\n",
+         r[8], r[9], r[10], r[11]);
+  printf("R12: %08lx\n", r[12]);
 }
 
 IMPLEMENT inline