Changeset 717 for soft/giet_vm

Timestamp:

Oct 7, 2015, 1:35:58 PM (10 years ago)

Author:

alain

Message:

Cosmetic.

Location:

soft/giet_vm

Files:

• giet_config.h (modified) (1 diff)
• giet_kernel/sys_handler.c (modified) (1 diff)

soft/giet_vm/giet_config.h

@@ -37 +37 @@
 #define GIET_DEBUG_FBF_CMA        0            /* FBF_CMA access */
 #define GIET_DEBUG_COPROC         0            /* coprocessor access */
-#define GIET_DEBUG_EXEC           1            /* kill/exec & thread control */
+#define GIET_DEBUG_EXEC           0            /* kill/exec & thread control */
 
 #define GIET_DEBUG_USER_MALLOC    0            /* malloc library */

soft/giet_vm/giet_kernel/sys_handler.c

@@ -972 +972 @@
     if ( string == NULL )
     {
-        _printf("\n[GIET WARNING] Exit thread %x in vspace %s\n",
-                trdid , vspace[vsid].name );
+        _user_printf("\n[GIET WARNING] Exit thread %x in application %s\n",
+                     trdid , vspace[vsid].name );
     }
     else
     {
-        _printf("\n[GIET WARNING] Exit thread %x in vspace %s\n"
-                "               Cause : %s\n\n",
-                trdid , vspace[vsid].name , (char*) string );
+        _user_printf("\n[GIET WARNING] Exit thread %x in vspace %s\n"
+                     "               Cause : %s\n\n",
+                     trdid , vspace[vsid].name , (char*) string );
     }