Changeset 429 for EcnlProtoTool/trunk/asp3_dcre/include/kernel.h

Timestamp:

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

Author:

coas-nagasima

Message:

ASP3, TINET, mbed を更新

File:

• EcnlProtoTool/trunk/asp3_dcre/include/kernel.h (modified) (11 diffs)

EcnlProtoTool/trunk/asp3_dcre/include/kernel.h

@@ -6 +6 @@
  *  Copyright (C) 2000-2003 by Embedded and Real-Time Systems Laboratory
  *                              Toyohashi Univ. of Technology, JAPAN
- *  Copyright (C) 2004-2015 by Embedded and Real-Time Systems Laboratory
+ *  Copyright (C) 2004-2019 by Embedded and Real-Time Systems Laboratory
  *              Graduate School of Information Science, Nagoya Univ., JAPAN
  * 
@@ -80 +80 @@
 #endif /* TOPPERS_TARGET_SUPPORT_ENA_INT */
 
+#ifdef TOPPERS_TARGET_SUPPORT_CLR_INT
+#define TOPPERS_SUPPORT_CLR_INT                 /* clr_intがサポートされている */
+#endif /* TOPPERS_TARGET_SUPPORT_CLR_INT */
+
+#ifdef TOPPERS_TARGET_SUPPORT_RAS_INT
+#define TOPPERS_SUPPORT_RAS_INT                 /* ras_intがサポートされている */
+#endif /* TOPPERS_TARGET_SUPPORT_RAS_INT */
+
+#ifdef TOPPERS_TARGET_SUPPORT_PRB_INT
+#define TOPPERS_SUPPORT_PRB_INT                 /* prb_intがサポートされている */
+#endif /* TOPPERS_TARGET_SUPPORT_PRB_INT */
+
 #define TOPPERS_SUPPORT_DYNAMIC_CRE             /* 動的生成機能拡張 */
 
@@ -195 +207 @@
         PRI                     itskpri;        /* タスクの起動時優先度 */
         size_t          stksz;          /* タスクのスタック領域のサイズ */
-        STK_T           *stk;           /* タスクのスタック領域の先頭番地 */
+        STK_T           *stk;           /* タスクのスタック領域の先頭番地 */
 } T_CTSK;
 
@@ -235 +247 @@
         ATR             dtqatr;         /* データキュー属性 */
         uint_t  dtqcnt;         /* データキュー管理領域に格納できるデータ数 */
-        void    *dtqmb;         /* データキュー管理領域の先頭番地 */
+        void    *dtqmb;         /* データキュー管理領域の先頭番地 */
 } T_CDTQ;
 
@@ -249 +261 @@
         PRI             maxdpri;        /* 優先度データキューに送信できるデータ優先度の最
                                                    大値 */
-        void    *pdqmb;         /* 優先度データキュー管理領域の先頭番地 */
+        void    *pdqmb;         /* 優先度データキュー管理領域の先頭番地 */
 } T_CPDQ;
 
@@ -275 +287 @@
         uint_t  blkcnt;         /* 獲得できる固定長メモリブロックの数 */
         uint_t  blksz;          /* 固定長メモリブロックのサイズ */
-        MPF_T   *mpf;           /* 固定長メモリプール領域の先頭番地 */
-        void    *mpfmb;         /* 固定長メモリプール管理領域の先頭番地 */
+        MPF_T   *mpf;           /* 固定長メモリプール領域の先頭番地 */
+        void    *mpfmb;         /* 固定長メモリプール管理領域の先頭番地 */
 } T_CMPF;
 
@@ -471 +483 @@
 extern ER               dis_int(INTNO intno) throw();
 extern ER               ena_int(INTNO intno) throw();
+extern ER               clr_int(INTNO intno) throw();
+extern ER               ras_int(INTNO intno) throw();
+extern ER_BOOL  prb_int(INTNO intno) throw();
 extern ER               chg_ipm(PRI intpri) throw();
 extern ER               get_ipm(PRI *p_intpri) throw();
@@ -508 +523 @@
 #define idis_int(intno)                                         dis_int(intno)
 #define iena_int(intno)                                         ena_int(intno)
+#define iclr_int(intno)                                         clr_int(intno)
+#define iras_int(intno)                                         ras_int(intno)
+#define iprb_int(intno)                                         prb_int(intno)
 #define ixsns_dpn(p_excinf)                                     xsns_dpn(p_excinf)
 
@@ -613 +631 @@
 #define TKERNEL_MAKER   UINT_C(0x0118)  /* カーネルのメーカーコード */
 #define TKERNEL_PRID    UINT_C(0x0007)  /* カーネルの識別番号 */
-#define TKERNEL_SPVER   UINT_C(0xf631)  /* カーネル仕様のバージョン番号 */
-#define TKERNEL_PRVER   UINT_C(0x3010)  /* カーネルのバージョン番号 */
+#define TKERNEL_SPVER   UINT_C(0xf634)  /* カーネル仕様のバージョン番号 */
+#define TKERNEL_PRVER   UINT_C(0x3050)  /* カーネルのバージョン番号 */
 
 /*
@@ -632 +650 @@
  *  システム時刻の調整できる範囲（単位：μ秒）
  */
-#define TMIN_ADJTIM             -1000000                /* システム時刻の最小調整時間 */
+#define TMIN_ADJTIM             (-1000000)              /* システム時刻の最小調整時間 */
 #define TMAX_ADJTIM             1000000                 /* システム時刻の最大調整時間 */
 
@@ -654 +672 @@
 #define ROUND_MPF_T(blksz)      TOPPERS_ROUND_SZ(blksz, sizeof(MPF_T))
 
+#define COUNT_MB_T(sz)          TOPPERS_COUNT_SZ(sz, sizeof(MB_T))
+#define ROUND_MB_T(sz)          TOPPERS_ROUND_SZ(sz, sizeof(MB_T))
+
 #define TSZ_DTQMB(dtqcnt)       (sizeof(intptr_t) * (dtqcnt))
-#define TCNT_DTQMB(dtqcnt)      TOPPERS_COUNT_SZ(TSZ_DTQMB(dtqcnt), sizeof(MB_T))
+#define TCNT_DTQMB(dtqcnt)      COUNT_MB_T(TSZ_DTQMB(dtqcnt))
 
 #ifndef TSZ_PDQMB
 #define TSZ_PDQMB(pdqcnt)       (sizeof(intptr_t) * 3 * (pdqcnt))
 #endif /* TSZ_PDQMB */
-#define TCNT_PDQMB(pdqcnt)      TOPPERS_COUNT_SZ(TSZ_PDQMB(pdqcnt), sizeof(MB_T))
+#define TCNT_PDQMB(pdqcnt)      COUNT_MB_T(TSZ_PDQMB(pdqcnt))
 
 #define TSZ_MPFMB(blkcnt)       (sizeof(uint_t) * (blkcnt))
-#define TCNT_MPFMB(blkcnt)      TOPPERS_COUNT_SZ(TSZ_MPFMB(blkcnt), sizeof(MB_T))
+#define TCNT_MPFMB(blkcnt)      COUNT_MB_T(TSZ_MPFMB(blkcnt))
 
 /*