Changeset 550

Timestamp:

Apr 5, 2015, 12:21:15 AM (10 years ago)

Author:

alain

Message:

Cosmetic.

Location:

soft/giet_vm/giet_libs

Files:

• malloc.h (modified) (2 diffs)
• stdio.c (modified) (1 diff)
• stdio.h (modified) (1 diff)

soft/giet_vm/giet_libs/malloc.h

@@ -6 +6 @@
 ////////////////////////////////////////////////////////////////////////////////
 // Initialisation policy:
-//   Each heap(x,y) structure is initialized by the malloc() or remote_malloc()
-//   function, when this function is called the first time.
-//   The function hep_init() initialise the free blocks linked lists as 
-//   explained below.
+//   The user application must initialize the heap(x,y) structure before
+//   using the malloc() or remote_malloc() functions, and this initialization
+//   must be done by a single task.
 ////////////////////////////////////////////////////////////////////////////////
 // Free blocks organisation:
@@ -46 +45 @@
 // - Each allocated block is registered in an alloc[] array of unsigned char.
 // - This registration is required by the free() operation, because the size
-//   of the allocated block must obtained from the base address of the block.  
+//   of the allocated block must be obtained from the base address of the block.  
 // - The number of entries in this array is equal to the max number
 //   of allocated block is : heap_size / 128.

soft/giet_vm/giet_libs/stdio.c

@@ -768 +768 @@
                    unsigned int  flags )
 {
-    return sys_call( SYSCALL_FAT_OPEN, 
-                     (unsigned int)pathname, 
-                     flags,
-                     0, 0 );
+    int ret = sys_call( SYSCALL_FAT_OPEN, 
+                        (unsigned int)pathname, 
+                        flags,
+                        0, 0 );
+    if ( ret < 0 ) giet_exit("error in giet_fat_open()");
+    return ret;
 }
 

soft/giet_vm/giet_libs/stdio.h

@@ -280 +280 @@
 //////////////////////////////////////////////////////////////////////////
 
-extern int giet_fat_open(  const char*  pathname,
-                           unsigned int flags );
+extern int  giet_fat_open(  const char*  pathname,
+                            unsigned int flags );
 
 extern void giet_fat_read(  unsigned int fd,