Changeset 73 for asp_wo_cfg/trunk/kernel/check.h

Timestamp:

Apr 18, 2014, 6:28:56 AM (10 years ago)

Author:

ertl-hiro

Message:

ASPカーネル 動的生成機能拡張パッケージへの追従。

File:

• asp_wo_cfg/trunk/kernel/check.h (modified) (5 diffs)

asp_wo_cfg/trunk/kernel/check.h

@@ -6 +6 @@
  *  Copyright (C) 2000-2003 by Embedded and Real-Time Systems Laboratory
  *                              Toyohashi Univ. of Technology, JAPAN
- *  Copyright (C) 2005-2012 by Embedded and Real-Time Systems Laboratory
+ *  Copyright (C) 2005-2014 by Embedded and Real-Time Systems Laboratory
  *              Graduate School of Information Science, Nagoya Univ., JAPAN
  * 
@@ -210 +210 @@
 #endif /* CHECK_FUNC_NONNULL */
 
-#ifdef CHECK_STACK_NONNULL
-#define STACK_NONNULL(stack)    ((stack) != NULL)
-#else /* CHECK_STACK_NONNULL */
-#define STACK_NONNULL(stack)    true
-#endif /* CHECK_STACK_NONNULL */
-
-#ifdef CHECK_MPF_NONNULL
-#define MPF_NONNULL(mpf)                ((mpf) != NULL)
-#else /* CHECK_MPF_NONNULL */
-#define MPF_NONNULL(mpf)                true
-#endif /* CHECK_MPF_NONNULL */
-
 /*
  *  関数の先頭番地のチェック（E_PAR）
@@ -249 +237 @@
 } while (false)
 
-#ifndef TARGET_MIN_STKSZ
-#define TARGET_MIN_STKSZ        1U              /* 未定義の場合は0でないことをチェック */
-#endif /* TARGET_MIN_STKSZ */
-
-#define CHECK_STKSZ_MIN(stksz) do {                                                     \
-        if ((stksz) < TARGET_MIN_STKSZ) {                                               \
-                ercd = E_PAR;                                                                           \
-                goto error_exit;                                                                        \
-        }                                                                                                               \
-} while (false)
-
 /*
  *  スタックの先頭番地のチェック（E_PAR）
@@ -270 +247 @@
 } while (false)
 
-#define CHECK_NONNULL_STACK(stack) do {                                         \
-        if (!STACK_NONNULL(stack)) {                                                    \
-                ercd = E_PAR;                                                                           \
-                goto error_exit;                                                                        \
-        }                                                                                                               \
-} while (false)
-
 /*
  *  固定長メモリプール領域の先頭番地のチェック（E_PAR）
@@ -282 +252 @@
 #define CHECK_ALIGN_MPF(mpf) do {                                                       \
         if (!MPF_ALIGNED(mpf)) {                                                                \
-                ercd = E_PAR;                                                                           \
-                goto error_exit;                                                                        \
-        }                                                                                                               \
-} while (false)
-
-#define CHECK_NONNULL_MPF(mpf) do {                                                     \
-        if (!MPF_NONNULL(mpf)) {                                                                \
                 ercd = E_PAR;                                                                           \
                 goto error_exit;                                                                        \