Changeset 429 for EcnlProtoTool/trunk/asp3_dcre/arch/arm_gcc/common/gic_kernel_impl.h

Timestamp:

Jul 3, 2020, 7:19:17 PM (4 years ago)

Author:

coas-nagasima

Message:

ASP3, TINET, mbed を更新

File:

• EcnlProtoTool/trunk/asp3_dcre/arch/arm_gcc/common/gic_kernel_impl.h (modified) (16 diffs)

EcnlProtoTool/trunk/asp3_dcre/arch/arm_gcc/common/gic_kernel_impl.h

@@ -3 +3 @@
  *      Toyohashi Open Platform for Embedded Real-Time Systems
  * 
- *  Copyright (C) 2006-2017 by Embedded and Real-Time Systems Laboratory
+ *  Copyright (C) 2006-2019 by Embedded and Real-Time Systems Laboratory
  *              Graduate School of Information Science, Nagoya Univ., JAPAN
  * 
@@ -67 +67 @@
  *  割込み番号の定義
  */
-#define GIC_INTNO_SGI0          0U
-#define GIC_INTNO_PPI0          16U
-#define GIC_INTNO_SPI0          32U
+#define GIC_INTNO_SGI0          UINT_C(0)
+#define GIC_INTNO_PPI0          UINT_C(16)
+#define GIC_INTNO_SPI0          UINT_C(32)
 
 /*
@@ -126 +126 @@
 #define GICC_EOIR               GIC_REG(GICC_BASE, 0x10)
 #define GICC_RPR                GIC_REG(GICC_BASE, 0x14)
-#define GICC_HPIR               GIC_REG(GICC_BASE, 0x18)
+#define GICC_HPPIR              GIC_REG(GICC_BASE, 0x18)
 
 /*
@@ -198 +198 @@
 gicc_set_priority(uint_t pri)
 {
-        sil_wrw_mem(GICC_PMR, pri);
+        sil_swrw_mem(GICC_PMR, pri);
 }
 
@@ -230 +230 @@
 gicd_disable_int(INTNO intno)
 {
-        sil_wrw_mem(GICD_ICENABLER(intno / 32), (1U << (intno % 32)));
+        sil_swrw_mem(GICD_ICENABLER(intno / 32), (1U << (intno % 32)));
 }
 
@@ -239 +239 @@
 gicd_enable_int(INTNO intno)
 {
-        sil_wrw_mem(GICD_ISENABLER(intno / 32), (1U << (intno % 32)));
+        sil_swrw_mem(GICD_ISENABLER(intno / 32), (1U << (intno % 32)));
 }
 
@@ -248 +248 @@
 gicd_clear_pending(INTNO intno)
 {
-        sil_wrw_mem(GICD_ICPENDR(intno / 32), (1U << (intno % 32)));
+        sil_swrw_mem(GICD_ICPENDR(intno / 32), (1U << (intno % 32)));
 }
 
@@ -257 +257 @@
 gicd_set_pending(INTNO intno)
 {
-        sil_wrw_mem(GICD_ISPENDR(intno / 32), (1U << (intno % 32)));
+        sil_swrw_mem(GICD_ISPENDR(intno / 32), (1U << (intno % 32)));
 }
 
@@ -271 +271 @@
 
 /*
+ *  ソフトウェア生成割込み（SGI）の生成
+ */
+Inline void
+gicd_raise_sgi(INTNO intno)
+{
+        sil_swrw_mem(GICD_SGIR, (0x02000000 | intno));
+}
+
+/*
  *  割込みのコンフィグレーション
  */
@@ -279 +288 @@
         uint32_t        reg;
 
-        reg = sil_rew_mem(GICD_ICFGR(intno / 16));
-        reg &= ~(0x03U << shift);
-        reg |= (config << shift);
-        sil_wrw_mem(GICD_ICFGR(intno / 16), reg);
+        if (intno >= GIC_INTNO_PPI0) {
+                reg = sil_rew_mem(GICD_ICFGR(intno / 16));
+                reg &= ~(0x03U << shift);
+                reg |= (config << shift);
+                sil_wrw_mem(GICD_ICFGR(intno / 16), reg);
+        }
 }
 
@@ -318 +329 @@
  *  割込みターゲットプロセッサの設定
  *
- *  prcsは，ターゲットとするプロセッサを表すビットのビット毎論理和で指
- *  定する．
+ *  affinityは，ターゲットとするプロセッサを表すビットのビット毎論理和
+ *  で指定する．
  *              プロセッサ0 : 0x01
  *              プロセッサ1 : 0x02
@@ -326 +337 @@
  */
 Inline void
-gicd_set_target(INTNO intno, uint_t prcs)
+gicd_set_target(INTNO intno, uint_t affinity)
 {
         uint_t          shift = (intno % 4) * 8;
@@ -333 +344 @@
         reg = sil_rew_mem(GICD_ITARGETSR(intno / 4));
         reg &= ~(0xffU << shift);
-        reg |= (prcs << shift);
+        reg |= (affinity << shift);
         sil_wrw_mem(GICD_ITARGETSR(intno / 4), reg);
 }
@@ -373 +384 @@
  */
 #ifndef TOPPERS_MACRO_ONLY
+
+/*
+ *  割込み属性の設定のチェック
+ */
+Inline bool_t
+check_intno_cfg(INTNO intno)
+{
+        return(intcfg_table[intno] != 0U);
+}
 
 /*
@@ -393 +413 @@
 
 /*
+ *  割込み要求禁止フラグが操作できる割込み番号の範囲の判定
+ */
+#ifdef GIC_SUPPORT_DISABLE_SGI
+#define VALID_INTNO_DISINT(intno)       VALID_INTNO(intno)
+#else /* GIC_SUPPORT_DISABLE_SGI */
+#define VALID_INTNO_DISINT(intno) \
+                                (GIC_INTNO_PPI0 <= (intno) && (intno) <= TMAX_INTNO)
+#endif /* GIC_SUPPORT_DISABLE_SGI */
+
+/*
  *  割込み要求禁止フラグのセット
- *
- *  intnoで指定された割込み要求ラインに対する割込み要求禁止フラグのセッ
- *  トし，割込みを禁止する．割込み属性が設定されていない割込み要求ライ
- *  ンが指定された場合には，falseを返す．
- */
-Inline bool_t
+ */
+Inline void
 disable_int(INTNO intno)
 {
-        if (intcfg_table[intno] == 0U) {
-                return(false);
-        }
         gicd_disable_int(intno);
-        return(true);
 }
 
 /* 
  *  割込み要求禁止フラグのクリア
- *
- *  intnoで指定された割込み要求ラインに対する割込み要求禁止フラグのクリ
- *  アし，割込みを許可する．割込み属性が設定されていない割込み要求ライ
- *  ンが指定された場合には，falseを返す．
+ */
+Inline void
+enable_int(INTNO intno)
+{
+        gicd_enable_int(intno);
+}
+
+/*
+ *  割込み要求がクリアできる割込み番号の範囲の判定
+ */
+#define VALID_INTNO_CLRINT(intno) \
+                                (GIC_INTNO_PPI0 <= (intno) && (intno) <= TMAX_INTNO)
+
+/*
+ *  割込み要求がクリアできる状態か？
  */
 Inline bool_t
-enable_int(INTNO intno)
-{
-        if (intcfg_table[intno] == 0U) {
-                return(false);
+check_intno_clear(INTNO intno)
+{
+        return(true);
+}
+
+/*
+ *  割込み要求のクリア
+ */
+Inline void
+clear_int(INTNO intno)
+{
+        gicd_clear_pending(intno);
+}
+
+/*
+ *  割込みが要求できる状態か？
+ */
+Inline bool_t
+check_intno_raise(INTNO intno)
+{
+        return(true);
+}
+
+/*
+ *  割込みの要求
+ */
+Inline void
+raise_int(INTNO intno)
+{
+        if (intno < GIC_INTNO_PPI0) {
+                gicd_raise_sgi(intno);
         }
-        gicd_enable_int(intno);
-        return(true);
-}
-
-/*
- *  割込み要求のクリア
- */
-Inline void
-clear_int(INTNO intno)
-{
-        gicd_clear_pending(intno);
+        else {
+                gicd_set_pending(intno);
+        }
 }
 
@@ -444 +496 @@
 }
 
-/*
- *  割込み要求のセット
- */
-Inline void
-raise_int(INTNO intno)
-{
-        gicd_set_pending(intno);
-}
-
 #endif /* TOPPERS_MACRO_ONLY */
 #endif /* TOPPERS_GIC_KERNEL_IMPL_H */