Changeset 212

Timestamp:

Jul 17, 2017, 1:24:58 PM (7 years ago)

Author:

max@…

Message:

style

File:

• trunk/kernel/devices/dev_ioc.c (modified) (13 diffs)

trunk/kernel/devices/dev_ioc.c

@@ -1 +1 @@
 /*
  * dev_ioc.c - IOC (Block Device Controler) generic device API implementation.
- * 
+ *
  * Author  Alain Greiner    (2016)
  *
@@ -8 +8 @@
  * This file is part of ALMOS-MK
  *
- * ALMOS-MKH.is free software; you can redistribute it and/or modify it
+ * ALMOS-MKH is free software; you can redistribute it and/or modify it
  * under the terms of the GNU General Public License as published by
  * the Free Software Foundation; version 2.0 of the License.
  *
- * ALMOS-MKH.is distributed in the hope that it will be useful, but
+ * ALMOS-MKH is distributed in the hope that it will be useful, but
  * WITHOUT ANY WARRANTY; without even the implied warranty of
  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
@@ -18 +18 @@
  *
  * You should have received a copy of the GNU General Public License
- * along with ALMOS-kernel; if not, write to the Free Software Foundation,
+ * along with ALMOS-MKH; if not, write to the Free Software Foundation,
  * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
  */
@@ -27 +27 @@
 #include <soclib_bdv.h>
 #include <soclib_hba.h>
-//#include <soclib_sdc.h>
-//#include <soclib_spi.h>
-//#include <soclib_rdk.h>
 #include <thread.h>
 #include <printk.h>
@@ -88 +85 @@
                                   &chdev_sequencial_server,
                                   ioc,
-                                  lid ); 
+                                  lid );
 
     assert( (error == 0) , __FUNCTION__ , "cannot create server thread" );
@@ -94 +91 @@
     // set "server" field in ioc descriptor
     ioc->server = new_thread;
-    
+
     // start server thread
     thread_unblock( XPTR( local_cxy , new_thread ) , THREAD_BLOCKED_GLOBAL );
- 
+
 }  // end dev_ioc_init()
 
@@ -114 +111 @@
 
     ioc_dmsg("\n[INFO] in %s : thread %x in process %x"
-             " for lba = %x / buffer = %x / at cycle %d\n", 
-             __FUNCTION__ , this->trdid , this->process->pid , 
+             " for lba = %x / buffer = %x / at cycle %d\n",
+             __FUNCTION__ , this->trdid , this->process->pid ,
              lba , (intptr_t)buffer , hal_get_cycles() );
 
-    // software L2/L3 cache coherence for memory buffer 
-    if( chdev_dir.iob ) 
+    // software L2/L3 cache coherence for memory buffer
+    if( chdev_dir.iob )
     {
         if ( cmd_type == IOC_READ ) dev_mmc_inval( XPTR( local_cxy , buffer ) , count<<9 );
@@ -143 +140 @@
 
     ioc_dmsg("\n[INFO] in %s : thread %x in process %x"
-             " completes / error = %d / at cycle %d\n", 
+             " completes / error = %d / at cycle %d\n",
              __FUNCTION__ , this->trdid , this->process->pid ,
              this->command.ioc.error , hal_get_cycles() );
 
     // return I/O operation status
-    return this->command.ioc.error;  
+    return this->command.ioc.error;
 
 }  // end dev_ioc_access()
@@ -157 +154 @@
                       uint32_t       count )
 {
-    return dev_ioc_access( IOC_READ , buffer , lba , count ); 
-}  
+    return dev_ioc_access( IOC_READ , buffer , lba , count );
+}
 
 ////////////////////////////////////////////
@@ -165 +162 @@
                        uint32_t      count )
 {
-    return dev_ioc_access( IOC_WRITE , buffer , lba , count ); 
+    return dev_ioc_access( IOC_WRITE , buffer , lba , count );
 }
 
@@ -173 +170 @@
                            uint32_t   count )
 {
-    // get pointer on calling thread 
+    // get pointer on calling thread
     thread_t * this = CURRENT_THREAD;
 
-    // software L2/L3 cache coherence for memory buffer 
+    // software L2/L3 cache coherence for memory buffer
     if( chdev_dir.iob ) dev_mmc_inval( XPTR( local_cxy , buffer ) , count<<9 );
 
-    // get extended pointer on IOC[0] chdev 
+    // get extended pointer on IOC[0] chdev
     xptr_t  dev_xp = chdev_dir.ioc[0];
 
@@ -191 +188 @@
     this->command.ioc.count     = count;
 
-    // get driver command function 
+    // get driver command function
     cxy_t       dev_cxy = GET_CXY( dev_xp );
     chdev_t   * dev_ptr = (chdev_t *)GET_PTR( dev_xp );
@@ -202 +199 @@
     dev_pic_disable_irq( lid , dev_xp );
 
-    // call directly driver command 
+    // call directly driver command
     cmd( XPTR( local_cxy , this ) );