Changeset 588 for soft/giet_vm/giet_libs/stdio.h

Timestamp:

Jul 8, 2015, 3:40:18 PM (9 years ago)

Author:

alain

Message:

1) Fix a bug in the free() function in the malloc.c
2) Introduce new syscalls to access the FAT in stdio.c

File:

• soft/giet_vm/giet_libs/stdio.h (modified) (3 diffs)

soft/giet_vm/giet_libs/stdio.h

@@ -54 +54 @@
 #define SYSCALL_FAT_WRITE            0x22
 #define SYSCALL_FAT_LSEEK            0x23
-#define SYSCALL_FAT_FSTAT            0x24
+#define SYSCALL_FAT_FINFO            0x24
 #define SYSCALL_FAT_CLOSE            0x25
-//                                   0x26
-//                                   0x27
-//                                   0x28
-//                                   0x29
+#define SYSCALL_FAT_REMOVE           0x26
+#define SYSCALL_FAT_RENAME           0x27
+#define SYSCALL_FAT_MKDIR            0x28
+#define SYSCALL_FAT_LIST             0x29
 //                                   0x2A
 //                                   0x2B
@@ -83 +83 @@
 #define SYSCALL_COPROC_RUN           0x3E
 #define SYSCALL_COPROC_RELEASE       0x3F
+
+////////////////////////////////////////////////////////////////////////////
+// These define must be synchronised vith values defined in fat32.h
+////////////////////////////////////////////////////////////////////////////
+
+#define SEEK_SET            0          // argument for giet_fat_lseek()
+#define SEEK_CUR            1          // argument for giet_fat_lseek
+
+#define O_CREATE            0x20       // argument for giet_fat_open()
+#define O_RDONLY            0x01       // argument for giet_fat_open()
 
 ////////////////////////////////////////////////////////////////////////////
@@ -266 +276 @@
 //////////////////////////////////////////////////////////////////////////
 
-extern int  giet_fat_open(  const char*  pathname,
-                            unsigned int flags );
-
-extern void giet_fat_read(  unsigned int fd,
-                            void*        buffer,
-                            unsigned int count,
-                            unsigned int offset );
-
-extern void giet_fat_write( unsigned int fd,
-                            void*        buffer,
-                            unsigned int count,
-                            unsigned int offset );
-
-extern void giet_fat_lseek( unsigned int fd,
-                            unsigned int offset,
-                            unsigned int whence );
-
-extern void giet_fat_fstat( unsigned int fd );
-
-extern void giet_fat_close( unsigned int fd );
+extern int giet_fat_open( char*        pathname,
+                          unsigned int flags );
+
+extern int giet_fat_close( unsigned int fd_id );
+
+extern int giet_fat_file_info( unsigned int  fd_id,
+                               unsigned int* size,
+                               unsigned int* offset );
+
+extern int giet_fat_read( unsigned int fd_id,
+                          void*        buffer,
+                          unsigned int count );
+
+extern int giet_fat_write( unsigned int fd,
+                           void*        buffer,
+                           unsigned int count );
+
+extern int giet_fat_lseek( unsigned int fd,
+                           unsigned int offset,
+                           unsigned int whence );
+
+extern int giet_fat_remove( char*        pathname,
+                            unsigned int should_be_dir );
+
+extern int giet_fat_rename( char*  old_path,
+                            char*  new_path ); 
+
+extern int giet_fat_mkdir( char* pathname );
+
+extern int giet_fat_list( char* pathname );
 
 //////////////////////////////////////////////////////////////////////////