Changeset 628 for soft/giet_vm/giet_libs/stdio.c

Timestamp:

Jul 18, 2015, 2:52:49 PM (9 years ago)

Author:

alain

Message:

Introduce two new system calls:

• giet_kill_application()
• giet_exec_application()

File:

• soft/giet_vm/giet_libs/stdio.c (modified) (7 diffs)

soft/giet_vm/giet_libs/stdio.c

@@ -175 +175 @@
 
     {
-        char buf[30];
-        char * pbuf;
-        unsigned int len = 0;
+        char              buf[30];
+        char *            pbuf;
+        unsigned int      len = 0;
         static const char HexaTab[] = "0123456789ABCDEF";
-        unsigned int i;
+        unsigned int      i;
         
         /* Ignored fields : width and precision */
@@ -244 +244 @@
                 int imax;
                 
-                if (modifiers == LL_MOD) //64 bits
+                if (modifiers == LL_MOD) // 64 bits
                 {
                     val = va_arg( *args, unsigned long long);
                     
-                    if (*(format-1) == 'u' && (!(val & 0xFFFFFFFF00000000))) //if asked to print in base 10, can do only if it fits in 32 bits
+                    // if asked to print in base 10, can do only if it fits in 32 bits
+                    if (*(format-1) == 'u' && (!(val & 0xFFFFFFFF00000000ULL))) 
                     {
                         unsigned int uintv = (unsigned int) val;
@@ -308 +309 @@
                 unsigned long long
                     val = *(unsigned long long*)&vald, //get ieee754 without conversion
-                    digits = val & 0xFFFFFFFFFFFFF;    //get mantissa
+                    digits = val & 0xFFFFFFFFFFFFFULL;    //get mantissa
                 
                 unsigned int
-                    base = (unsigned int)((val & 0x7FF0000000000000) >> 52), //get exposant
+                    base = (unsigned int)((val & 0x7FF0000000000000ULL) >> 52), //get exposant
                     intp = (unsigned int)vald,         //get integer part of the float
                     decp;
@@ -319 +320 @@
                 if (base == 0x7FF) //special value
                 {
-                    if (digits & 0xFFFFFFFFFFFFF)
+                    if (digits & 0xFFFFFFFFFFFFFULL)
                     {
                         /* Not a Number */
@@ -331 +332 @@
                     {
                         /* inf */
-                        buf[0] = (val & 0x8000000000000000) ? '-' : '+';
+                        buf[0] = (val & 0x8000000000000000ULL) ? '-' : '+';
                         buf[1] = 'i';
                         buf[2] = 'n';
@@ -341 +342 @@
                 }
                 
-                if (val & 0x8000000000000000)
+                if (val & 0x8000000000000000ULL)
                 {
                     /* negative */
@@ -1002 +1003 @@
 }
 
+//////////////////////////////
+void giet_kill( char* name ) 
+{
+    sys_call( SYSCALL_KILL_APP,
+              (unsigned int)name,
+              0, 0, 0 );
+}
+
+//////////////////////////////
+void giet_exec( char* name ) 
+{
+    sys_call( SYSCALL_EXIT,
+              (unsigned int)name,
+              0, 0, 0 );
+}
+
 /////////////////////////////////////////
 void giet_assert( unsigned int condition,