Changeset 719 for soft/giet_vm/giet_kernel

Timestamp:

Oct 9, 2015, 3:52:05 PM (10 years ago)

Author:

alain

Message:

Cosmetic.

File:

• soft/giet_vm/giet_kernel/sys_handler.c (modified) (1 diff)

soft/giet_vm/giet_kernel/sys_handler.c

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