source: atk2-sc3-1.4.0-ntisr/kernel/check.h

Last change on this file was 172, checked in by ertl-ishikawa, 8 years ago

ATK2-SC3 1.4.0 RH850依存部 非信頼C2ISR対応を追加
  • Property svn:executable set to *
File size: 9.3 KB
Line 
1/*
2 * TOPPERS ATK2
3 * Toyohashi Open Platform for Embedded Real-Time Systems
4 * Automotive Kernel Version 2
5 *
6 * Copyright (C) 2000-2003 by Embedded and Real-Time Systems Laboratory
7 * Toyohashi Univ. of Technology, JAPAN
8 * Copyright (C) 2005-2015 by Center for Embedded Computing Systems
9 * Graduate School of Information Science, Nagoya Univ., JAPAN
10 * Copyright (C) 2011-2015 by FUJI SOFT INCORPORATED, JAPAN
11 * Copyright (C) 2011-2013 by Spansion LLC, USA
12 * Copyright (C) 2011-2015 by NEC Communication Systems, Ltd., JAPAN
13 * Copyright (C) 2011-2015 by Panasonic Advanced Technology Development Co., Ltd., JAPAN
14 * Copyright (C) 2011-2014 by Renesas Electronics Corporation, JAPAN
15 * Copyright (C) 2011-2015 by Sunny Giken Inc., JAPAN
16 * Copyright (C) 2011-2015 by TOSHIBA CORPORATION, JAPAN
17 * Copyright (C) 2011-2015 by Witz Corporation
18 * Copyright (C) 2014-2015 by AISIN COMCRUISE Co., Ltd., JAPAN
19 * Copyright (C) 2014-2015 by eSOL Co.,Ltd., JAPAN
20 * Copyright (C) 2014-2015 by SCSK Corporation, JAPAN
21 * Copyright (C) 2015 by SUZUKI MOTOR CORPORATION
22 *
23 * 上記著作権者
24は，以下の(1)〜(4)の条件を満たす場合に限り，本ソフトウェ
25 * ア（本ソフトウェアを改変したものを含む．以下同じ）を使用・複製・改
26 * 変・再é…
27å¸ƒï¼ˆä»¥ä¸‹ï¼Œåˆ©ç”¨ã¨å‘¼ã¶ï¼‰ã™ã‚‹ã“とを無償で許諾する．
28 * (1) 本ソフトウェアをソースコードの形で利用する場合には，上記の著作
29 * 権表示，この利用条件および下記の無保証規定が，そのままの形でソー
30 * スコード中に含まれていること．
31 * (2) 本ソフトウェアを，ライブラリ形式など，他のソフトウェア開発に使
32 * 用できる形で再é…
33å¸ƒã™ã‚‹å ´åˆã«ã¯ï¼Œå†é…
34å¸ƒã«ä¼´ã†ãƒ‰ã‚­ãƒ¥ãƒ¡ãƒ³ãƒˆï¼ˆåˆ©ç”¨
35 * 者
36マニュアルなど）に，上記の著作権表示，この利用条件および下記
37 * の無保証規定を掲載すること．
38 * (3) 本ソフトウェアを，機器に組み込むなど，他のソフトウェア開発に使
39 * 用できない形で再é…
40å¸ƒã™ã‚‹å ´åˆã«ã¯ï¼Œæ¬¡ã®ã„ずれかの条件を満たすこ
41 * と．
42 * (a) 再é…
43å¸ƒã«ä¼´ã†ãƒ‰ã‚­ãƒ¥ãƒ¡ãƒ³ãƒˆï¼ˆåˆ©ç”¨è€…
44マニュアルなど）に，上記の著
45 * 作権表示，この利用条件および下記の無保証規定を掲載すること．
46 * (b) 再é…
47å¸ƒã®å½¢æ…
48‹ã‚’，別に定める方法によって，TOPPERSプロジェクトに
49 * 報告すること．
50 * (4) 本ソフトウェアの利用により直接的または間接的に生じるいかなる損
51 * 害からも，上記著作権者
52およびTOPPERSプロジェクトをå…
53è²¬ã™ã‚‹ã“と．
54 * また，本ソフトウェアのユーザまたはエンドユーザからのいかなる理
55 * 由に基づく請求からも，上記著作権者
56およびTOPPERSプロジェクトを
57 * å…
58è²¬ã™ã‚‹ã“と．
59 *
60 * 本ソフトウェアは，AUTOSAR（AUTomotive Open System ARchitecture）仕
61 * 様に基づいている．上記の許諾は，AUTOSARの知的財産権を許諾するもので
62 * はない．AUTOSARは，AUTOSAR仕様に基づいたソフトウェアを商用目的で利
63 * 用する者
64に対して，AUTOSARパートナーになることを求めている．
65 *
66 * 本ソフトウェアは，無保証で提供されているものである．上記著作権者
67お
68 * よびTOPPERSプロジェクトは，本ソフトウェアに関して，特定の使用目的
69 * に対する適合性も含めて，いかなる保証も行わない．また，本ソフトウェ
70 * アの利用により直接的または間接的に生じたいかなる損害に関しても，そ
71 * の責任を負わない．
72 *
73 * $Id: check.h 425 2015-12-07 08:06:19Z witz-itoyo $
74 */
75
76/*
77 * エラーチェック用マクロ
78 */
79
80#ifndef TOPPERS_CHECK_H
81#define TOPPERS_CHECK_H
82
83#include "Os_Cfg.h"
84#include "memory.h"
85
86/*
87 * 汎用チェックマクロ
88 */
89#define CHECK_ERROR_ERCD(exp, error) \
90 do { \
91 if (!(exp)) { \
92 ercd = (error); \
93 goto error_exit; \
94 } \
95 } while (0)
96
97#define CHECK_ERROR_NO_ERCD(exp) \
98 do { \
99 if (!(exp)) { \
100 goto error_exit; \
101 } \
102 } while (0)
103
104#define D_CHECK_ERROR_ERCD(exp, error) \
105 do { \
106 if (!(exp)) { \
107 ercd = (error); \
108 goto d_error_exit; \
109 } \
110 } while (0)
111
112#define D_CHECK_ERROR_NO_ERCD(exp) \
113 do { \
114 if (!(exp)) { \
115 goto d_error_exit; \
116 } \
117 } while (0)
118
119/*
120 * 標準エラーのチェックマクロ
121 */
122#define S_CHECK_ERROR(exp, error) CHECK_ERROR_ERCD(exp, error)
123
124
125#ifdef CFG_USE_ERRORHOOK
126/*
127 * エラーフック使用有無によるラベルの再定義
128 */
129#define error_exit exit_errorhook
130#define d_error_exit d_exit_errorhook
131
132/*
133 * エラーフックを使用する時はエラーコードを代å…
134¥ã™ã‚‹
135 */
136#define S_N_CHECK_ERROR(exp, error) CHECK_ERROR_ERCD(exp, error)
137
138#else /* CFG_USE_ERRORHOOK */
139/*
140 * エラーフック使用有無によるラベルの再定義
141 */
142#define error_exit exit_no_errorhook
143#define d_error_exit d_exit_no_errorhook
144
145/*
146 * エラーフックを使用しない時はエラーコードを代å…
147¥ã—ない
148 */
149#define S_N_CHECK_ERROR(exp, error) CHECK_ERROR_NO_ERCD(exp)
150
151#endif /* CFG_USE_ERRORHOOK */
152
153
154/* 以下のチェックマクロをOS内
155部で用いる */
156
157/*
158 * エラーコードに対応したマクロ
159 * 標準エラー
160 */
161#ifdef OMIT_STANDARD_DISALLINT
162
163#define S_CHECK_DISALLINT()
164#define S_N_CHECK_DISALLINT()
165
166#else /* OMIT_STANDARD_DISALLINT */
167
168#define S_CHECK_DISALLINT() \
169 S_CHECK_ERROR( \
170 ((callevel_stat & TSYS_DISALLINT) == TSYS_NULL), \
171 E_OS_DISABLEDINT \
172 )
173#define S_N_CHECK_DISALLINT() \
174 S_N_CHECK_ERROR( \
175 ((callevel_stat & TSYS_DISALLINT) == TSYS_NULL), \
176 E_OS_DISABLEDINT \
177 )
178
179#endif /* OMIT_STANDARD_DISALLINT */
180
181#define S_CHECK_STATE(exp) S_CHECK_ERROR(exp, E_OS_STATE)
182#define S_N_CHECK_STATE(exp) S_N_CHECK_ERROR(exp, E_OS_STATE)
183#define S_CHECK_LIMIT(exp) S_CHECK_ERROR(exp, E_OS_LIMIT)
184#define S_N_CHECK_LIMIT(exp) S_N_CHECK_ERROR(exp, E_OS_LIMIT)
185#define S_D_CHECK_NOFUNC(exp) D_CHECK_ERROR_ERCD(exp, E_OS_NOFUNC)
186#define S_D_CHECK_STATE(exp) D_CHECK_ERROR_ERCD(exp, E_OS_STATE)
187#define S_D_CHECK_LIMIT(exp) D_CHECK_ERROR_ERCD(exp, E_OS_LIMIT)
188
189#define S_D_CHECK_IOC_LIMIT(exp) do { \
190 if (!(exp)) { \
191 ercd = IOC_E_LIMIT; \
192 p_ioccb->lostflg = TRUE; \
193 goto d_error_exit; \
194 } \
195} while (0)
196
197#define S_D_CHECK_IOC_LOST(exp) do { \
198 if (!(exp)) { \
199 ercd = IOC_E_LOST_DATA; \
200 p_ioccb->lostflg = FALSE; \
201 goto d_error_exit; \
202 } \
203} while (0)
204
205#define S_D_CHECK_IOC_NO_DATA(exp) D_CHECK_ERROR_ERCD(exp, IOC_E_NO_DATA)
206
207
208/*
209 * エラーコードに対応したマクロ
210 * 拡張エラー
211 */
212#define CHECK_ACCESS(exp) CHECK_ERROR_ERCD(exp, E_OS_ACCESS)
213#define D_CHECK_ACCESS(exp) D_CHECK_ERROR_ERCD(exp, E_OS_ACCESS)
214#define CHECK_CALLEVEL(clmask) \
215 CHECK_ERROR_ERCD( \
216 ((callevel_stat | (clmask)) == (clmask)), \
217 E_OS_CALLEVEL \
218 )
219#define CHECK_NOFUNC(exp) CHECK_ERROR_ERCD(exp, E_OS_NOFUNC)
220#define CHECK_RESOURCE(exp) CHECK_ERROR_ERCD(exp, E_OS_RESOURCE)
221#define CHECK_STATE(exp) CHECK_ERROR_ERCD(exp, E_OS_STATE)
222#define D_CHECK_STATE(exp) D_CHECK_ERROR_ERCD(exp, E_OS_STATE)
223#define CHECK_VALUE(exp) CHECK_ERROR_ERCD(exp, E_OS_VALUE)
224#define CHECK_DISABLEDINT() \
225 CHECK_ERROR_ERCD( \
226 ((callevel_stat & \
227 (TSYS_DISALLINT | TSYS_SUSALLINT | TSYS_SUSOSINT)) == \
228 TSYS_NULL \
229 ), \
230 E_OS_DISABLEDINT \
231 )
232#define CHECK_PARAM_POINTER(p_exp) CHECK_ERROR_ERCD(((p_exp) != NULL), OS_E_PARAM_POINTER)
233#define CHECK_ID(exp) CHECK_ERROR_ERCD(exp, E_OS_ID)
234#define D_CHECK_ID(exp) D_CHECK_ERROR_ERCD(exp, E_OS_ID)
235#define CHECK_IOC_ACCESS(exp) CHECK_ERROR_ERCD(exp, IOC_E_NOK)
236#define CHECK_IOC_CALLEVEL_DISABLEDINT(clmask) \
237 CHECK_ERROR_ERCD( \
238 ((callevel_stat | (clmask)) == (clmask)), \
239 IOC_E_NOK \
240 )
241#define CHECK_SERVICEID(exp) CHECK_ERROR_ERCD(exp, E_OS_SERVICEID)
242#define CHECK_RIGHT(btmp) \
243 CHECK_ERROR_ERCD( \
244 (run_trusted != FALSE) || ((p_runosap->p_osapinib->btptn & (btmp)) != 0U), \
245 E_OS_ACCESS \
246 )
247#define CHECK_ILLEGAL_ADDRESS(exp) CHECK_ERROR_ERCD(exp, E_OS_ILLEGAL_ADDRESS)
248#define CHECK_MEM_WRITE(p_var, type) CHECK_ERROR_ERCD((PROBE_MEM_WRITE(p_var, type) != FALSE), E_OS_ILLEGAL_ADDRESS)
249#define CHECK_MEM_RW(p_var, type) CHECK_ERROR_ERCD((PROBE_MEM_RW(p_var, type) != FALSE), E_OS_ILLEGAL_ADDRESS)
250#define CHECK_NO_ERCD(exp) CHECK_ERROR_NO_ERCD(exp)
251#define CHECK_IOC_MEM_READ(p_var, size, alignsz) { \
252 if ((probe_memory_read(p_var, size) == FALSE) || \
253 (((uintptr) (p_var) & (alignsz - 1U)) != 0U)) { \
254 ercd = E_OS_SYS_ASSERT_FATAL; \
255 goto exit_no_errorhook; \
256 } \
257}
258#define CHECK_IOC_MEM_WRITE(p_var, size, alignsz) { \
259 if ((probe_memory_write(p_var, size) == FALSE) || \
260 (((uintptr) (p_var) & (alignsz - 1U)) != 0U)) { \
261 ercd = E_OS_SYS_ASSERT_FATAL; \
262 goto exit_no_errorhook; \
263 } \
264}
265
266#endif /* TOPPERS_CHECK_H */
Note: See TracBrowser for help on using the repository browser.