Changeset 133 for trunk/hal

Timestamp:

Jul 3, 2017, 3:30:03 PM (7 years ago)

Author:

max@…

Message:

style

File:

• trunk/hal/tsar_mips32/drivers/soclib_xcu.c (modified) (10 diffs)

trunk/hal/tsar_mips32/drivers/soclib_xcu.c

@@ -8 +8 @@
  * 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
@@ -27 +27 @@
 #include <chdev.h>
 
-
-
 ////////////////////////////////////
 void soclib_xcu_init( chdev_t * icu,
@@ -34 +32 @@
 {
     // get local ICU segment base address
-        uint32_t * base = (uint32_t *)GET_PTR( icu->base );
+    uint32_t * base = (uint32_t *)GET_PTR( icu->base );
 
     // disable all IRQs
@@ -49 +47 @@
 {
     // get XCU segment base address
-        uint32_t * base = (uint32_t *)GET_PTR( icu->base );
+    uint32_t * base = (uint32_t *)GET_PTR( icu->base );
 
     // write into register
-        if     ( type == WTI_TYPE ) base[XCU_MSK_WTI_DISABLE << 5 | lid] = mask;
-        else if( type == HWI_TYPE ) base[XCU_MSK_HWI_DISABLE << 5 | lid] = mask;
-        else                        base[XCU_MSK_PTI_DISABLE << 5 | lid] = mask;
+    if     ( type == WTI_TYPE ) base[XCU_MSK_WTI_DISABLE << 5 | lid] = mask;
+    else if( type == HWI_TYPE ) base[XCU_MSK_HWI_DISABLE << 5 | lid] = mask;
+    else                        base[XCU_MSK_PTI_DISABLE << 5 | lid] = mask;
 }
 
@@ -64 +62 @@
 {
     // get XCU segment base address
-        uint32_t * base = (uint32_t *)GET_PTR( icu->base );
+    uint32_t * base = (uint32_t *)GET_PTR( icu->base );
 
     // write into register
-        if     ( type == WTI_TYPE ) base[XCU_MSK_WTI_ENABLE << 5 | lid] = mask;
-        else if( type == HWI_TYPE ) base[XCU_MSK_HWI_ENABLE << 5 | lid] = mask;
-        else                        base[XCU_MSK_PTI_ENABLE << 5 | lid] = mask;
+    if     ( type == WTI_TYPE ) base[XCU_MSK_WTI_ENABLE << 5 | lid] = mask;
+    else if( type == HWI_TYPE ) base[XCU_MSK_HWI_ENABLE << 5 | lid] = mask;
+    else                        base[XCU_MSK_PTI_ENABLE << 5 | lid] = mask;
 }
 
@@ -80 +78 @@
 {
     // get XCU segment base address
-        uint32_t * base = (uint32_t *)GET_PTR( icu->base );
- 
+    uint32_t * base = (uint32_t *)GET_PTR( icu->base );
+
     // get values from registers
-    *hwi_mask = base[XCU_MSK_HWI << 5 | lid]; 
-    *wti_mask = base[XCU_MSK_WTI << 5 | lid]; 
-    *pti_mask = base[XCU_MSK_PTI << 5 | lid]; 
+    *hwi_mask = base[XCU_MSK_HWI << 5 | lid];
+    *wti_mask = base[XCU_MSK_WTI << 5 | lid];
+    *pti_mask = base[XCU_MSK_PTI << 5 | lid];
 }
 
@@ -94 +92 @@
 {
     // get local ICU segment base address
-        uint32_t * base = (uint32_t *)GET_PTR( icu->base );
+    uint32_t * base = (uint32_t *)GET_PTR( icu->base );
 
     // write into register
@@ -105 +103 @@
 {
     // get local ICU segment base address
-        uint32_t * base = (uint32_t *)GET_PTR( icu->base );
+    uint32_t * base = (uint32_t *)GET_PTR( icu->base );
 
     // read from register
-        return base[XCU_PTI_ACK << 5 | index];
+    return base[XCU_PTI_ACK << 5 | index];
 }
 
@@ -118 +116 @@
                             uint32_t * pti_status )
 {
-    // get local ICU segment base address 
+    // get local ICU segment base address
     uint32_t * base = (uint32_t *)GET_PTR( icu->base );
 
     // read PRIO register
-        uint32_t prio = base[XCU_PRIO << 5 | lid];
+    uint32_t prio = base[XCU_PRIO << 5 | lid];
 
     *wti_status = (prio & 0x4) ? (((prio >> 24) & 0x1F) + 1) : 0;
@@ -140 +138 @@
     xptr_t  xp_base = (xptr_t)hal_remote_lwd( XPTR( cxy_icu , &ptr_icu->base ) );
 
-    // get remote ICU segment local pointer 
-        uint32_t  * base = (uint32_t *)GET_PTR( xp_base );
+    // get remote ICU segment local pointer
+    uint32_t  * base = (uint32_t *)GET_PTR( xp_base );
 
     // send IPI to remote core
-        hal_remote_sw( XPTR( cxy_icu , &base[XCU_WTI_REG << 5 | lid] ) , 0 );
+    hal_remote_sw( XPTR( cxy_icu , &base[XCU_WTI_REG << 5 | lid] ) , 0 );
 }