Changeset 429 for EcnlProtoTool/trunk/asp3_dcre/arch/arm_gcc/common/core_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/core_kernel_impl.h (modified) (7 diffs)

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

@@ -6 +6 @@
  *  Copyright (C) 2000-2003 by Embedded and Real-Time Systems Laboratory
  *                              Toyohashi Univ. of Technology, JAPAN
- *  Copyright (C) 2006-2016 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
  * 
@@ -55 +55 @@
 
 /*
+ *  ターゲット依存のタスク属性（エラーチェック用）
+ */
+/*#ifdef USE_ARM_FPU*/
+#define TARGET_TSKATR           (TA_FPU)
+/*#endif /* USE_ARM_FPU */
+
+/*
  *  エラーチェック方法の指定
  */
@@ -68 +75 @@
 #define CHECK_MPF_ALIGN         4               /* 固定長メモリプール領域のアライン単位 */
 #define CHECK_MPF_NONNULL                       /* 固定長メモリプール領域の非NULLチェック */
+#define CHECK_MPK_ALIGN         4               /* カーネルメモリプール領域のアライン単位 */
+#define CHECK_MPK_NONNULL                       /* カーネルメモリプール領域の非NULL  */
+                                                                        /*                                                      チェック */
 #define CHECK_MB_ALIGN          4               /* 管理領域のアライン単位 */
 
@@ -269 +279 @@
  *  非タスクコンテキストからのディスパッチ要求
  */
-#define request_dispatch()
+#define request_dispatch_retint()
 
 /*
@@ -324 +334 @@
  *  割込みハンドラテーブル（kernel_cfg.c）
  */
-extern FP inh_table[TNUM_INHNO];
+extern /*const*/FP inh_table[TNUM_INHNO];
 
 /*
@@ -447 +457 @@
  *  MMUの設定情報（メモリエリアの情報）（target_kernel_impl.c）
  */
-extern ARM_MMU_CONFIG arm_memory_area[];
+extern const ARM_MMU_CONFIG arm_memory_area[];
 
 /*
@@ -458 +468 @@
 
 #ifndef TOPPERS_MACRO_ONLY
+
+/*
+ *  FPUの初期化
+ */
+#ifdef USE_ARM_FPU
+extern void arm_fpu_initialize(void);
+#endif /* USE_ARM_FPU */
 
 /*