3 * Toyohashi Open Platform for Embedded Real-Time Systems/
4 * Just Standard Profile Kernel
6 * Copyright (C) 2000-2003 by Embedded and Real-Time Systems Laboratory
7 * Toyohashi Univ. of Technology, JAPAN
9 * 上記著作権者は,以下の (1)〜(4) の条件か,Free Software Foundation
10 * によって公表されている GNU General Public License の Version 2 に記
11 * 述されている条件を満たす場合に限り,本ソフトウェア(本ソフトウェア
12 * を改変したものを含む.以下同じ)を使用・複製・改変・再配布(以下,
14 * (1) 本ソフトウェアをソースコードの形で利用する場合には,上記の著作
15 * 権表示,この利用条件および下記の無保証規定が,そのままの形でソー
17 * (2) 本ソフトウェアを,ライブラリ形式など,他のソフトウェア開発に使
18 * 用できる形で再配布する場合には,再配布に伴うドキュメント(利用
19 * 者マニュアルなど)に,上記の著作権表示,この利用条件および下記
21 * (3) 本ソフトウェアを,機器に組み込むなど,他のソフトウェア開発に使
22 * 用できない形で再配布する場合には,次のいずれかの条件を満たすこ
24 * (a) 再配布に伴うドキュメント(利用者マニュアルなど)に,上記の著
25 * 作権表示,この利用条件および下記の無保証規定を掲載すること.
26 * (b) 再配布の形態を,別に定める方法によって,TOPPERSプロジェクトに
28 * (4) 本ソフトウェアの利用により直接的または間接的に生じるいかなる損
29 * 害からも,上記著作権者およびTOPPERSプロジェクトを免責すること.
31 * 本ソフトウェアは,無保証で提供されているものである.上記著作権者お
32 * よびTOPPERSプロジェクトは,本ソフトウェアに関して,その適用可能性も
33 * 含めて,いかなる保証も行わない.また,本ソフトウェアの利用により直
34 * 接的または間接的に生じたいかなる損害に関しても,その責任を負わない.
36 * @(#) $Id: check.h,v 1.1 2009/01/31 05:27:37 suikan Exp $
49 #define VALID_TPRI(tpri) \
50 (TMIN_TPRI <= (tpri) && (tpri) <= TMAX_TPRI)
55 #define CHECK_TPRI(tpri) { \
56 if (!VALID_TPRI(tpri)) { \
62 #define CHECK_TPRI_INI(tpri) { \
63 if (!(VALID_TPRI(tpri) || (tpri) == TPRI_INI)) { \
69 #define CHECK_TPRI_SELF(tpri) { \
70 if (!(VALID_TPRI(tpri) || (tpri) == TPRI_SELF)) { \
77 * タイムアウト指定値のチェック(E_PAR)
79 #define CHECK_TMOUT(tmout) { \
80 if (!(TMO_FEVR <= (tmout))) { \
87 * その他のパラメータエラーのチェック(E_PAR)
89 #define CHECK_PAR(exp) { \
99 #define VALID_TSKID(tskid) \
100 (TMIN_TSKID <= (tskid) && (tskid) <= tmax_tskid)
102 #define VALID_SEMID(semid) \
103 (TMIN_SEMID <= (semid) && (semid) <= tmax_semid)
105 #define VALID_FLGID(flgid) \
106 (TMIN_FLGID <= (flgid) && (flgid) <= tmax_flgid)
108 #define VALID_DTQID(dtqid) \
109 (TMIN_DTQID <= (dtqid) && (dtqid) <= tmax_dtqid)
111 #define VALID_MBXID(mbxid) \
112 (TMIN_MBXID <= (mbxid) && (mbxid) <= tmax_mbxid)
114 #define VALID_MPFID(mpfid) \
115 (TMIN_MPFID <= (mpfid) && (mpfid) <= tmax_mpfid)
117 #define VALID_CYCID(cycid) \
118 (TMIN_CYCID <= (cycid) && (cycid) <= tmax_cycid)
121 * オブジェクトIDのチェック(E_ID)
123 #define CHECK_TSKID(tskid) { \
124 if (!VALID_TSKID(tskid)) { \
130 #define CHECK_TSKID_SELF(tskid) { \
131 if (!(VALID_TSKID(tskid) || (tskid) == TSK_SELF)) { \
137 #define CHECK_SEMID(semid) { \
138 if (!VALID_SEMID(semid)) { \
144 #define CHECK_FLGID(flgid) { \
145 if (!VALID_FLGID(flgid)) { \
151 #define CHECK_DTQID(dtqid) { \
152 if (!VALID_DTQID(dtqid)) { \
158 #define CHECK_MBXID(mbxid) { \
159 if (!VALID_MBXID(mbxid)) { \
165 #define CHECK_MPFID(mpfid) { \
166 if (!VALID_MPFID(mpfid)) { \
172 #define CHECK_CYCID(cycid) { \
173 if (!VALID_CYCID(cycid)) { \
180 * 呼出しコンテキストのチェック(E_CTX)
182 #define CHECK_TSKCTX() { \
183 if (sense_context()) { \
189 #define CHECK_INTCTX() { \
190 if (!sense_context()) { \
197 * 呼出しコンテキストとCPUロック状態のチェック(E_CTX)
199 #define CHECK_TSKCTX_UNL() { \
200 if (sense_context() || t_sense_lock()) { \
206 #define CHECK_INTCTX_UNL() { \
207 if (!sense_context() || i_sense_lock()) { \
214 * ディスパッチ保留状態でないかのチェック(E_CTX)
216 #define CHECK_DISPATCH() { \
217 if (sense_context() || t_sense_lock() || !(enadsp)) { \
224 * その他のコンテキストエラーのチェック(E_CTX)
226 #define CHECK_CTX(exp) { \
234 * 自タスクを指定していないかのチェック(E_ILUSE)
236 #define CHECK_NONSELF(tcb) { \
237 if ((tcb) == runtsk) { \
244 * その他の不正使用エラーのチェック(E_ILUSE)
246 #define CHECK_ILUSE(exp) { \
253 #endif /* _CHECK_H_ */