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

Timestamp:

Aug 24, 2015, 5:08:30 PM (9 years ago)

Author:

guerin

Message:

fix kill/exec

• introduce physical_memcpy for fat_read
• don't defer task exec
• load writable segments in exec syscall

File:

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

soft/giet_vm/giet_fat32/fat32.h

@@ -12 +12 @@
 #include "giet_config.h"
 #include "kernel_locks.h"
+#include "mapping_info.h"
 
 /*************** Partition Boot Sector Format **********************************/
@@ -225 +226 @@
 
 extern int _fat_read( unsigned int fd_id,                  // file descriptor  
-                      void*        buffer,                 // destination buffer
-                      unsigned int count );                // number of bytes
+                      paddr_t buffer,                      // destination buffer
+                      unsigned int count,                  // number of bytes
+                      unsigned int phys );                 // use physical_memcpy
 
 extern int _fat_write( unsigned int fd_id,                 // file descriptor