Changeset 750 for soft/giet_vm/giet_fat32/fat32.h

Timestamp:

Jan 2, 2016, 4:40:33 PM (8 years ago)

Author:

alain

Message:

Makes _fat_buffer_from_cache() an external function, to implement the giet_fat_mmap system call.

File:

• soft/giet_vm/giet_fat32/fat32.h (modified) (2 diffs)

soft/giet_vm/giet_fat32/fat32.h

@@ -127 +127 @@
 
 #define FAT_INITIALIZED         0xBABEF00D
+#define FAT_PADDR_MODE          0x00000001    // mask for physical address mode
+#define FAT_FORCED_OFFSET       0X00000002    // mask for forced offset mode
 
 /********************************************************************************
@@ -217 +219 @@
 extern int _fat_init();         
 
-extern int _fat_open( char*        pathname,               // path from root
-                      unsigned int flags );                // O_CREATE/O_RDONLY
-
-extern int _fat_close( unsigned int fd_id );               // file descriptor
-
-extern int _fat_file_info( unsigned int     fd_id,         // file descriptor
-                           fat_file_info_t* info );        // file info struct
-
-extern int _fat_read( unsigned int fd_id,                  // file descriptor  
-                      unsigned int vaddr,                  // destination buffer
-                      unsigned int count,                  // number of bytes
-                      unsigned int extend );               // physical addressing
-
-extern int _fat_write( unsigned int fd_id,                 // file descriptor 
-                       unsigned int vaddr,                         // source buffer
-                       unsigned int count,                 // number of bytes
-                       unsigned int extend );              // physical addressing
-
-extern int _fat_lseek( unsigned int fd_id,                 // file descriptor
-                       unsigned int offset,                // new offset value
-                       unsigned int whence );              // command type
-
-extern int _fat_remove( char*        pathname,             // path from root
-                        unsigned int should_be_dir );      // for checking
-
-extern int _fat_rename( char*  old_path,                   // path from root
-                        char*  new_path );                 // path from root
-
-extern int _fat_mkdir( char* pathname );                   // path from root
-
-extern int _fat_opendir( char* pathname );                 // path from root
-
-extern int _fat_closedir( unsigned int fd_id );            // file descriptor
-
-extern int _fat_readdir( unsigned int  fd_id,              // file descriptor
-                         fat_dirent_t* entry );            // directory entry
-
-extern int _fat_load_no_cache( char*        pathname,      // path from root
-                               unsigned int buffer_vbase,  // buffer base 
-                               unsigned int buffer_size ); // buffer size
+extern int _fat_open( char*        pathname,                    // path from root
+                      unsigned int flags );                     // O_CREATE/O_RDONLY
+
+extern int _fat_close( unsigned int fd_id );                    // file descriptor
+
+extern int _fat_file_info( unsigned int     fd_id,              // file descriptor
+                           fat_file_info_t* info );             // file info struct
+
+extern int _fat_read( unsigned int fd_id,                       // file descriptor  
+                      unsigned int vaddr,                       // destination buffer
+                      unsigned int count,                       // number of bytes
+                      unsigned int extend,                      // paddr extension
+                      unsigned int offset,                      // forced offset
+                      unsigned int modes );                     // special modes
+
+extern int _fat_write( unsigned int fd_id,                      // file descriptor 
+                       unsigned int vaddr,                              // source buffer
+                       unsigned int count,                      // number of bytes
+                       unsigned int extend,                     // paddr extension
+                       unsigned int modes );                    // special modes
+
+extern int _fat_lseek( unsigned int fd_id,                      // file descriptor
+                       unsigned int offset,                     // new offset value
+                       unsigned int whence );                   // command type
+
+extern int _fat_remove( char*        pathname,                  // path from root
+                        unsigned int should_be_dir );           // for checking
+
+extern int _fat_rename( char*  old_path,                        // path from root
+                        char*  new_path );                      // path from root
+
+extern int _fat_mkdir( char* pathname );                        // path from root
+
+extern int _fat_opendir( char* pathname );                      // path from root
+
+extern int _fat_closedir( unsigned int fd_id );                 // file descriptor
+
+extern int _fat_readdir( unsigned int  fd_id,                   // file descriptor
+                         fat_dirent_t* entry );                 // directory entry
+
+extern int _fat_load_no_cache( char*        pathname,           // path from root
+                               unsigned int buffer_vbase,       // buffer base 
+                               unsigned int buffer_size );      // buffer size
+
+extern int _fat_buffer_from_cache( fat_inode_t*        inode,   // inode pointer
+                                   unsigned int        cluster, // cluster index
+                                   fat_cache_desc_t**  desc );  // buffer descriptor
 
 /*******************************************************************************/