Changeset 382

Timestamp:

Apr 11, 2019, 3:24:12 PM (5 years ago)

Author:

nmir-saito

Message:

aligned indents in prc_config.c

File:

• ssp_aarch64/trunk/arm64_gcc/prc_config.c (modified) (3 diffs)

ssp_aarch64/trunk/arm64_gcc/prc_config.c

@@ -57 +57 @@
 prc_initialize(void)
 {
-        /* 割込みネスト数の初期化 */
-        intnest = 0u;
-
-        /*
-         *  GICの設定
-         */
-        gicd_initialize();
-        gicc_initialize();
+    /* 割込みネスト数の初期化 */
+    intnest = 0u;
+
+    /*
+     *  GICの設定
+     */
+    gicd_initialize();
+    gicc_initialize();
 }
 
@@ -73 +73 @@
 prc_terminate(void)
 {
-        while(1)
-                ;
+    while(1)
+    ;
 }
 
@@ -83 +83 @@
 x_config_int(INTNO intno, ATR intatr, PRI intpri)
 {
-        assert(VALID_INTNO(intno));
-        assert(TMIN_INTPRI <= intpri && intpri <= TMAX_INTPRI);
-
-        /*
-         *  割込みを禁止
-         *
-         *  割込みを受け付けたまま，レベルトリガ／エッジトリガの設定や，割
-         *  込み優先度の設定を行うのは危険なため，割込み属性にかかわらず，
-         *  一旦マスクする．
-         */
-        x_disable_int(intno);
-
-        /*
-         *  割込みをコンフィギュレーション
-         */
-
-        if ((intatr & TA_EDGE) != 0U) {
-                gicd_config(intno, GICD_ICFGRn_EDGE);
-                x_clear_int(intno);
-        }
-        else {
-                gicd_config(intno, GICD_ICFGRn_LEVEL);
-        }
-
-        /*
-         *  割込み優先度とターゲットプロセッサを設定
-         */
-        gicd_set_priority(intno, INT_IPM(intpri));
-        gicd_set_target(intno, 1U << ARM_PRC_INDEX);
-
-        /*
-         * 割込みを許可
-         */
-        if ((intatr & TA_ENAINT) != 0U) {
-                x_enable_int(intno);
-        }
+    assert(VALID_INTNO(intno));
+    assert(TMIN_INTPRI <= intpri && intpri <= TMAX_INTPRI);
+
+    /*
+     *  割込みを禁止
+     *
+     *  割込みを受け付けたまま，レベルトリガ／エッジトリガの設定や，割
+     *  込み優先度の設定を行うのは危険なため，割込み属性にかかわらず，
+     *  一旦マスクする．
+     */
+    x_disable_int(intno);
+
+    /*
+     *  割込みをコンフィギュレーション
+     */
+
+    if ((intatr & TA_EDGE) != 0U) {
+        gicd_config(intno, GICD_ICFGRn_EDGE);
+        x_clear_int(intno);
+    }
+    else {
+        gicd_config(intno, GICD_ICFGRn_LEVEL);
+    }
+
+    /*
+     *  割込み優先度とターゲットプロセッサを設定
+     */
+    gicd_set_priority(intno, INT_IPM(intpri));
+    gicd_set_target(intno, 1U << ARM_PRC_INDEX);
+
+    /*
+     * 割込みを許可
+     */
+    if ((intatr & TA_ENAINT) != 0U) {
+        x_enable_int(intno);
+    }
 }