| [101] | 1 | /*
|
|---|
| 2 | * TOPPERS/SSP Kernel
|
|---|
| 3 | * Smallest Set Profile Kernel
|
|---|
| 4 | *
|
|---|
| 5 | * Copyright (C) 2000-2003 by Embedded and Real-Time Systems Laboratory
|
|---|
| 6 | * Toyohashi Univ. of Technology, JAPAN
|
|---|
| 7 | * Copyright (C) 2005-2007 by Embedded and Real-Time Systems Laboratory
|
|---|
| 8 | * Graduate School of Information Science, Nagoya Univ., JAPAN
|
|---|
| 9 | * Copyright (C) 2010 by Naoki Saito
|
|---|
| 10 | * Nagoya Municipal Industrial Research Institute, JAPAN
|
|---|
| 11 | * Copyright (C) 2011 by Meika Sugimoto
|
|---|
| 12 | *
|
|---|
| 13 | * ãLì ÒÍCȺÌ(1)`(4)Ìðð½·êÉÀèC{\tgEF
|
|---|
| 14 | * Ai{\tgEFAðüϵ½àÌðÜÞDȺ¯¶jðgpE¡»Eü
|
|---|
| 15 | * ÏEÄzziȺCpÆÄÔj·é±Æð³Åø·éD
|
|---|
| 16 | * (1) {\tgEFAð\[XR[hÌ`Åp·éêÉÍCãLÌì
|
|---|
| 17 | * \¦C±Ìpð¨æѺL̳ÛØKèªC»ÌÜÜÌ`Å\[
|
|---|
| 18 | * XR[hÉÜÜêÄ¢é±ÆD
|
|---|
| 19 | * (2) {\tgEFAðCCu`®ÈÇC¼Ì\tgEFAJÉg
|
|---|
| 20 | * pÅ«é`ÅÄzz·éêÉÍCÄzzɺ¤hL
|
|---|
| 21 | gip
|
|---|
| 22 | * Ò}j
|
|---|
| 23 | AÈÇjÉCãLÌì \¦C±Ìpð¨æѺL
|
|---|
| 24 | * ̳ÛØKèðfÚ·é±ÆD
|
|---|
| 25 | * (3) {\tgEFAðC@íÉgÝÞÈÇC¼Ì\tgEFAJÉg
|
|---|
| 26 | * pÅ«È¢`ÅÄzz·éêÉÍCÌ¢¸ê©Ìðð½·±
|
|---|
| 27 | * ÆD
|
|---|
| 28 | * (a) Äzzɺ¤hL
|
|---|
| 29 | gipÒ}j
|
|---|
| 30 | AÈÇjÉCãLÌ
|
|---|
| 31 | * ì \¦C±Ìpð¨æѺL̳ÛØKèðfÚ·é±ÆD
|
|---|
| 32 | * (b) ÄzzÌ`ÔðCÊÉèßéû@ÉæÁÄCTOPPERSvWFNgÉ
|
|---|
| 33 | * ñ·é±ÆD
|
|---|
| 34 | * (4) {\tgEFAÌpÉæè¼ÚIܽÍÔÚIɶ¶é¢©Èé¹
|
|---|
| 35 | * Q©çàCãLì Ò¨æÑTOPPERSvWFNgðÆÓ·é±ÆD
|
|---|
| 36 | * ܽC{\tgEFAÌ[UܽÍGh[U©çÌ¢©Èé
|
|---|
| 37 | * RÉîÿ©çàCãLì Ò¨æÑTOPPERSvWFNgð
|
|---|
| 38 | * ÆÓ·é±ÆD
|
|---|
| 39 | *
|
|---|
| 40 | * {\tgEFAÍC³ÛØÅñ³êÄ¢éàÌÅ éDãLì Ò¨
|
|---|
| 41 | * æÑTOPPERSvWFNgÍC{\tgEFAÉÖµÄCÁèÌgpÚI
|
|---|
| 42 | * ÉηéK«àÜßÄC¢©ÈéÛØàsíÈ¢DܽC{\tgEF
|
|---|
| 43 | * AÌpÉæè¼ÚIܽÍÔÚIɶ¶½¢©Èé¹QÉÖµÄàC»
|
|---|
| 44 | * ÌÓCðíÈ¢D
|
|---|
| 45 | *
|
|---|
| 46 | * @(#) $Id: check.h 101 2015-06-02 15:37:23Z coas-nagasima $
|
|---|
| 47 | */
|
|---|
| 48 | /*
|
|---|
| 49 | * TOPPERS/ASP Kernel
|
|---|
| 50 | * Toyohashi Open Platform for Embedded Real-Time Systems/
|
|---|
| 51 | * Advanced Standard Profile Kernel
|
|---|
| 52 | *
|
|---|
| 53 | * Copyright (C) 2000-2003 by Embedded and Real-Time Systems Laboratory
|
|---|
| 54 | * Toyohashi Univ. of Technology, JAPAN
|
|---|
| 55 | * Copyright (C) 2005-2007 by Embedded and Real-Time Systems Laboratory
|
|---|
| 56 | * Graduate School of Information Science, Nagoya Univ., JAPAN
|
|---|
| 57 | *
|
|---|
| 58 | * ãLì ÒÍCȺÌ(1)`(4)Ìðð½·êÉÀèC{\tgEF
|
|---|
| 59 | * Ai{\tgEFAðüϵ½àÌðÜÞDȺ¯¶jðgpE¡»Eü
|
|---|
| 60 | * ÏEÄzziȺCpÆÄÔj·é±Æð³Åø·éD
|
|---|
| 61 | * (1) {\tgEFAð\[XR[hÌ`Åp·éêÉÍCãLÌì
|
|---|
| 62 | * \¦C±Ìpð¨æѺL̳ÛØKèªC»ÌÜÜÌ`Å\[
|
|---|
| 63 | * XR[hÉÜÜêÄ¢é±ÆD
|
|---|
| 64 | * (2) {\tgEFAðCCu`®ÈÇC¼Ì\tgEFAJÉg
|
|---|
| 65 | * pÅ«é`ÅÄzz·éêÉÍCÄzzɺ¤hL
|
|---|
| 66 | gip
|
|---|
| 67 | * Ò}j
|
|---|
| 68 | AÈÇjÉCãLÌì \¦C±Ìpð¨æѺL
|
|---|
| 69 | * ̳ÛØKèðfÚ·é±ÆD
|
|---|
| 70 | * (3) {\tgEFAðC@íÉgÝÞÈÇC¼Ì\tgEFAJÉg
|
|---|
| 71 | * pÅ«È¢`ÅÄzz·éêÉÍCÌ¢¸ê©Ìðð½·±
|
|---|
| 72 | * ÆD
|
|---|
| 73 | * (a) Äzzɺ¤hL
|
|---|
| 74 | gipÒ}j
|
|---|
| 75 | AÈÇjÉCãLÌ
|
|---|
| 76 | * ì \¦C±Ìpð¨æѺL̳ÛØKèðfÚ·é±ÆD
|
|---|
| 77 | * (b) ÄzzÌ`ÔðCÊÉèßéû@ÉæÁÄCTOPPERSvWFNgÉ
|
|---|
| 78 | * ñ·é±ÆD
|
|---|
| 79 | * (4) {\tgEFAÌpÉæè¼ÚIܽÍÔÚIɶ¶é¢©Èé¹
|
|---|
| 80 | * Q©çàCãLì Ò¨æÑTOPPERSvWFNgðÆÓ·é±ÆD
|
|---|
| 81 | * ܽC{\tgEFAÌ[UܽÍGh[U©çÌ¢©Èé
|
|---|
| 82 | * RÉîÿ©çàCãLì Ò¨æÑTOPPERSvWFNgð
|
|---|
| 83 | * ÆÓ·é±ÆD
|
|---|
| 84 | *
|
|---|
| 85 | * {\tgEFAÍC³ÛØÅñ³êÄ¢éàÌÅ éDãLì Ò¨
|
|---|
| 86 | * æÑTOPPERSvWFNgÍC{\tgEFAÉÖµÄCÁèÌgpÚI
|
|---|
| 87 | * ÉηéK«àÜßÄC¢©ÈéÛØàsíÈ¢DܽC{\tgEF
|
|---|
| 88 | * AÌpÉæè¼ÚIܽÍÔÚIɶ¶½¢©Èé¹QÉÖµÄàC»
|
|---|
| 89 | * ÌÓCðíÈ¢D
|
|---|
| 90 | *
|
|---|
| 91 | * @(#) $Id: check.h 101 2015-06-02 15:37:23Z coas-nagasima $
|
|---|
| 92 | */
|
|---|
| 93 |
|
|---|
| 94 | /*
|
|---|
| 95 | * G[`FbNp}N
|
|---|
| 96 | */
|
|---|
| 97 |
|
|---|
| 98 | #ifndef TOPPERS_CHECK_H
|
|---|
| 99 | #define TOPPERS_CHECK_H
|
|---|
| 100 |
|
|---|
| 101 | /*
|
|---|
| 102 | * ^XNDæxÌÍÍÌ»è
|
|---|
| 103 | */
|
|---|
| 104 | #define VALID_TPRI(tpri) (TMIN_TPRI <= (tpri) && (tpri) <= TMAX_TPRI)
|
|---|
| 105 |
|
|---|
| 106 | /*
|
|---|
| 107 | * ÝÔÌ`FbNiE_PARj
|
|---|
| 108 | */
|
|---|
| 109 | #define CHECK_INTNO_DISINT(intno) { \
|
|---|
| 110 | if (!VALID_INTNO_DISINT(intno)) { \
|
|---|
| 111 | ercd = E_PAR; \
|
|---|
| 112 | goto error_exit; \
|
|---|
| 113 | } \
|
|---|
| 114 | }
|
|---|
| 115 |
|
|---|
| 116 | /*
|
|---|
| 117 | * »Ì¼Ìp[^G[Ì`FbNiE_PARj
|
|---|
| 118 | */
|
|---|
| 119 | #define CHECK_PAR(exp) { \
|
|---|
| 120 | if (!(exp)) { \
|
|---|
| 121 | ercd = E_PAR; \
|
|---|
| 122 | goto error_exit; \
|
|---|
| 123 | } \
|
|---|
| 124 | }
|
|---|
| 125 |
|
|---|
| 126 | /*
|
|---|
| 127 | * IuWFNgIDÌÍÍÌ»è
|
|---|
| 128 | */
|
|---|
| 129 | #define VALID_TSKID(tskid) \
|
|---|
| 130 | (((ID)TMIN_TSKID <= (tskid)) && ((ID)(tskid) <= tmax_tskid))
|
|---|
| 131 | #define VALID_FLGID(flgid) \
|
|---|
| 132 | (((ID)TMIN_FLGID <= (flgid)) && ((ID)(flgid) <= tmax_flgid))
|
|---|
| 133 | #define VALID_DTQID(dtqid) \
|
|---|
| 134 | (((ID)TMIN_DTQID <= (dtqid)) && ((ID)(dtqid) <= tmax_dtqid))
|
|---|
| 135 | #define VALID_CYCID(cycid) \
|
|---|
| 136 | ((((ID)TMIN_CYCID) <= (cycid)) && ((ID)(cycid) <= tmax_cycid))
|
|---|
| 137 | #define VALID_ALMID(almid) \
|
|---|
| 138 | (((ID)TMIN_ALMID <= (almid)) && ((ID)(almid) <= tmax_almid))
|
|---|
| 139 |
|
|---|
| 140 | /*
|
|---|
| 141 | * IuWFNgIDÌ`FbNiE_IDj
|
|---|
| 142 | */
|
|---|
| 143 | #define CHECK_TSKID(tskid) { \
|
|---|
| 144 | if ((!VALID_TSKID(tskid))) { \
|
|---|
| 145 | ercd = E_ID; \
|
|---|
| 146 | goto error_exit; \
|
|---|
| 147 | } \
|
|---|
| 148 | }
|
|---|
| 149 |
|
|---|
| 150 | #define CHECK_TSKID_SELF(tskid) { \
|
|---|
| 151 | if (!(VALID_TSKID(tskid) || ((tskid) == TSK_SELF))) { \
|
|---|
| 152 | ercd = E_ID; \
|
|---|
| 153 | goto error_exit; \
|
|---|
| 154 | } \
|
|---|
| 155 | }
|
|---|
| 156 |
|
|---|
| 157 |
|
|---|
| 158 | #define CHECK_FLGID(flgid) { \
|
|---|
| 159 | if (!VALID_FLGID(flgid)) { \
|
|---|
| 160 | ercd = E_ID; \
|
|---|
| 161 | goto error_exit; \
|
|---|
| 162 | } \
|
|---|
| 163 | }
|
|---|
| 164 |
|
|---|
| 165 | #define CHECK_DTQID(dtqid) { \
|
|---|
| 166 | if (!VALID_DTQID(dtqid)) { \
|
|---|
| 167 | ercd = E_ID; \
|
|---|
| 168 | goto error_exit; \
|
|---|
| 169 | } \
|
|---|
| 170 | }
|
|---|
| 171 |
|
|---|
| 172 | #define CHECK_CYCID(cycid) { \
|
|---|
| 173 | if ((!VALID_CYCID(cycid))) { \
|
|---|
| 174 | ercd = E_ID; \
|
|---|
| 175 | goto error_exit; \
|
|---|
| 176 | } \
|
|---|
| 177 | }
|
|---|
| 178 |
|
|---|
| 179 | #define CHECK_ALMID(almid) { \
|
|---|
| 180 | if (!VALID_ALMID(almid)) { \
|
|---|
| 181 | ercd = E_ID; \
|
|---|
| 182 | goto error_exit; \
|
|---|
| 183 | } \
|
|---|
| 184 | }
|
|---|
| 185 |
|
|---|
| 186 | /*
|
|---|
| 187 | * ÄoµReLXgÌ`FbNiE_CTXj
|
|---|
| 188 | */
|
|---|
| 189 | #define CHECK_TSKCTX() { \
|
|---|
| 190 | if (sense_context()) { \
|
|---|
| 191 | ercd = E_CTX; \
|
|---|
| 192 | goto error_exit; \
|
|---|
| 193 | } \
|
|---|
| 194 | }
|
|---|
| 195 |
|
|---|
| 196 | #define CHECK_INTCTX() { \
|
|---|
| 197 | if (!sense_context()) { \
|
|---|
| 198 | ercd = E_CTX; \
|
|---|
| 199 | goto error_exit; \
|
|---|
| 200 | } \
|
|---|
| 201 | }
|
|---|
| 202 |
|
|---|
| 203 | /*
|
|---|
| 204 | * ÄoµReLXgÆCPUbNóÔÌ`FbNiE_CTXj
|
|---|
| 205 | */
|
|---|
| 206 | #define CHECK_TSKCTX_UNL() { \
|
|---|
| 207 | if ((sense_context()) || (t_sense_lock())) { \
|
|---|
| 208 | ercd = E_CTX; \
|
|---|
| 209 | goto error_exit; \
|
|---|
| 210 | } \
|
|---|
| 211 | }
|
|---|
| 212 |
|
|---|
| 213 | #define CHECK_INTCTX_UNL() { \
|
|---|
| 214 | if ((!sense_context()) || (i_sense_lock())) { \
|
|---|
| 215 | ercd = E_CTX; \
|
|---|
| 216 | goto error_exit; \
|
|---|
| 217 | } \
|
|---|
| 218 | }
|
|---|
| 219 |
|
|---|
| 220 | /*
|
|---|
| 221 | * »Ì¼ÌReLXgG[Ì`FbNiE_CTXj
|
|---|
| 222 | */
|
|---|
| 223 | #define CHECK_CTX(exp) { \
|
|---|
| 224 | if (!(exp)) { \
|
|---|
| 225 | ercd = E_CTX; \
|
|---|
| 226 | goto error_exit; \
|
|---|
| 227 | } \
|
|---|
| 228 | }
|
|---|
| 229 |
|
|---|
| 230 | #endif /* TOPPERS_CHECK_H */
|
|---|
![(please configure the [header_logo] section in trac.ini)](/trac_user/contrib/chrome/site/your_project_logo.png){kind=logo}
