Changeset 421 for trunk/kernel/syscalls/sys_write.c

Timestamp:

Jan 29, 2018, 5:40:34 PM (7 years ago)

Author:

alain

Message:

Introduce sys_fg() , sys_display() , sys_wait() syscalls.

File:

• trunk/kernel/syscalls/sys_write.c (modified) (4 diffs)

trunk/kernel/syscalls/sys_write.c

@@ -92 +92 @@
     cxy_t        file_cxy = GET_CXY( file_xp );
 
-    // check file writable
-    uint32_t attr = hal_remote_lw( XPTR( file_cxy , &file_ptr->attr ) );
-    if( (attr & FD_ATTR_WRITE_ENABLE) == 0 )
-        {
-        printk("\n[ERROR] in %s : file %d not writable in process %x\n",
-        __FUNCTION__ , file_id , process->pid );
-                this->errno = EBADFD;
-                return -1;
-        }
-   
+ 
     // get file type
     vfs_inode_type_t type = hal_remote_lw( XPTR( file_cxy , &file_ptr->type ) );
 
     // action depend on file type
-    if( type == INODE_TYPE_FILE )      // transfer count bytes to file mapper 
+    if( type == INODE_TYPE_FILE )  // check file writable & write to mapper 
     {
+        // check file writable
+        uint32_t attr = hal_remote_lw( XPTR( file_cxy , &file_ptr->attr ) );
+        if( (attr & FD_ATTR_WRITE_ENABLE) == 0 )
+            {
+            printk("\n[ERROR] in %s : file %d not writable in process %x\n",
+            __FUNCTION__ , file_id , process->pid );
+                    this->errno = EBADFD;
+                    return -1;
+            }
+
+        // move count bytes to mapper
         nbytes = vfs_user_move( false,               // from buffer to mapper
                                 file_xp,
@@ -113 +115 @@
                                 count );
     }
-    else if( type == INODE_TYPE_DEV )  // transfer count bytes to device
+    else if( type == INODE_TYPE_DEV )  // check ownership & write to device
     {
+        // move count bytes to device
         nbytes = devfs_user_move( false,             // from buffer to device
                                  file_xp,
@@ -123 +126 @@
     {
         nbytes = 0;
-        panic("file type %d non supported", type );
+        assert( false , __FUNCTION__ , "file type %d non supported\n", type );
     }
 
@@ -148 +151 @@
 #endif
  
-#if CONFIG_WRITE_DEBUG
+#if (CONFIG_WRITE_DEBUG & 0x1)
 printk("\n@@@@@@@@@@@@ timing to write character %c\n"
 " - enter_sys_write    = %d\n"