]> rtime.felk.cvut.cz Git - l4.git/blobdiff - kernel/fiasco/src/kern/arm/entry_frame-arm.cpp
update
[l4.git] / kernel / fiasco / src / kern / arm / entry_frame-arm.cpp
index ce9ba85de78679fdca9d0ab7ee0f850fc8271a3f..dc4ad74f8b79c1d2c251f318f10a8a8c8892d53d 100644 (file)
@@ -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