Index: /soft/giet_vm/giet_kernel/sys_handler.c
===================================================================
--- /soft/giet_vm/giet_kernel/sys_handler.c	(revision 789)
+++ /soft/giet_vm/giet_kernel/sys_handler.c	(revision 790)
@@ -604,7 +604,7 @@
 ///////////////////////////////////////////////////////////////////////////////////
 static void _dump_block( unsigned char* buf,
-                             char*          string,
-                             unsigned int   cluster_id,
-                             unsigned int   block_id )
+                         char*          string,
+                         unsigned int   cluster_id,
+                         unsigned int   block_id )
 {
     unsigned int line;
@@ -1165,5 +1165,5 @@
         if ( (name == NULL) || (_strcmp(vspace[vspace_id].name , name ) == 0) )
         {
-            _user_printf("\n*** vspace %s\n", vspace[vspace_id].name );
+            _user_printf("\n--- vspace %s ---\n", vspace[vspace_id].name );
 
             // scan all threads in vspace