Changeset 141 for trunk/hal/tsar_mips32

Timestamp:

Jul 4, 2017, 3:02:31 PM (7 years ago)

Author:

max@…

Message:

style

File:

• trunk/hal/tsar_mips32/drivers/soclib_pic.c (modified) (9 diffs)

trunk/hal/tsar_mips32/drivers/soclib_pic.c

@@ -3 +3 @@
  *
  * Author  Alain Greiner (2016)
- * *
+ *
  * Copyright (c) UPMC Sorbonne Universites
  *
  * This file is part of ALMOS-MKH.
  *
- * 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-MKH.; 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
  */
@@ -29 +29 @@
 #include <string.h>
 #include <vfs.h>
-
 
 ////////////////////////////////////////
@@ -42 +41 @@
     for( i = 0 ; i < CONFIG_MAX_IRQS_PER_PIC ; i++ )
     {
-        hal_remote_sw( XPTR( seg_cxy , seg_ptr + i*IOPIC_SPAN + IOPIC_MASK ) , 0 ); 
+        hal_remote_sw( XPTR( seg_cxy , seg_ptr + i*IOPIC_SPAN + IOPIC_MASK ) , 0 );
     }
 }
@@ -54 +53 @@
     cxy_t     dev_cxy = GET_CXY( dev_xp );
     chdev_t * dev_ptr = (chdev_t *)GET_PTR( dev_xp );
-  
+
     // get extended pointer on PIC segment base from PIC device descriptor
     xptr_t seg_xp = (xptr_t)hal_remote_lwd( XPTR( dev_cxy , &dev_ptr->base ) );
- 
+
     // get PIC controller segment cluster and local pointer
     cxy_t      seg_cxy = (cxy_t)GET_CXY( seg_xp);
@@ -65 +64 @@
     uint32_t msb  = (uint32_t)(xp_wti>>32);
 
-        // set the IOPIC_ADDRESS and IOPIC_EXTEND registers
+    // set the IOPIC_ADDRESS and IOPIC_EXTEND registers
     hal_remote_sw( XPTR( seg_cxy , seg_ptr+irq_id*IOPIC_SPAN+IOPIC_ADDRESS ) , lsb );
     hal_remote_sw( XPTR( seg_cxy , seg_ptr+irq_id*IOPIC_SPAN+IOPIC_EXTEND  ) , msb );
@@ -80 +79 @@
     cxy_t     dev_cxy = GET_CXY( dev_xp );
     chdev_t * dev_ptr = (chdev_t *)GET_PTR( dev_xp );
-  
+
     // get extended pointer on PIC segment base from PIC device descriptor
     xptr_t seg_xp = (xptr_t)hal_remote_lwd( XPTR( dev_cxy , &dev_ptr->base ) );
- 
+
     // get PIC controller segment cluster and local pointer
     cxy_t      seg_cxy = (cxy_t)GET_CXY( seg_xp);
@@ -100 +99 @@
     cxy_t     dev_cxy = GET_CXY( dev_xp );
     chdev_t * dev_ptr = (chdev_t *)GET_PTR( dev_xp );
-  
+
     // get extended pointer on PIC segment base from PIC device descriptor
     xptr_t seg_xp = (xptr_t)hal_remote_lwd( XPTR( dev_cxy , &dev_ptr->base ) );
- 
+
     // get PIC controller segment cluster and local pointer
     cxy_t      seg_cxy = (cxy_t)GET_CXY( seg_xp);
@@ -109 +108 @@
 
     // return status
-        *status = hal_remote_lw( XPTR( seg_cxy , seg_ptr+irq_id*IOPIC_SPAN+IOPIC_STATUS ) );
+    *status = hal_remote_lw( XPTR( seg_cxy , seg_ptr+irq_id*IOPIC_SPAN+IOPIC_STATUS ) );
 }