asp/kernel/kernel.tf

   1 $ ======================================================================
   2 $
   3 $   TOPPERS/ASP Kernel
   4 $       Toyohashi Open Platform for Embedded Real-Time Systems/
   5 $       Advanced Standard Profile Kernel
   6 $
   7 $   Copyright (C) 2007 by TAKAGI Nobuhisa
   8 $   Copyright (C) 2007-2011 by Embedded and Real-Time Systems Laboratory
   9 $               Graduate School of Information Science, Nagoya Univ., JAPAN
  10 $
  11 $   上記著作権者は，以下の(1)〜(4)の条件を満たす場合に限り，本ソフトウェ
  12 $   ア（本ソフトウェアを改変したものを含む．以下同じ）を使用・複製・改
  13 $   変・再配布（以下，利用と呼ぶ）することを無償で許諾する．
  14 $   (1) 本ソフトウェアをソースコードの形で利用する場合には，上記の著作
  15 $       権表示，この利用条件および下記の無保証規定が，そのままの形でソー
  16 $       スコード中に含まれていること．
  17 $   (2) 本ソフトウェアを，ライブラリ形式など，他のソフトウェア開発に使
  18 $       用できる形で再配布する場合には，再配布に伴うドキュメント（利用
  19 $       者マニュアルなど）に，上記の著作権表示，この利用条件および下記
  20 $       の無保証規定を掲載すること．
  21 $   (3) 本ソフトウェアを，機器に組み込むなど，他のソフトウェア開発に使
  22 $       用できない形で再配布する場合には，次のいずれかの条件を満たすこ
  23 $       と．
  24 $     (a) 再配布に伴うドキュメント（利用者マニュアルなど）に，上記の著
  25 $         作権表示，この利用条件および下記の無保証規定を掲載すること．
  26 $     (b) 再配布の形態を，別に定める方法によって，TOPPERSプロジェクトに
  27 $         報告すること．
  28 $   (4) 本ソフトウェアの利用により直接的または間接的に生じるいかなる損
  29 $       害からも，上記著作権者およびTOPPERSプロジェクトを免責すること．
  30 $       また，本ソフトウェアのユーザまたはエンドユーザからのいかなる理
  31 $       由に基づく請求からも，上記著作権者およびTOPPERSプロジェクトを
  32 $       免責すること．
  33 $
  34 $   本ソフトウェアは，無保証で提供されているものである．上記著作権者お
  35 $   よびTOPPERSプロジェクトは，本ソフトウェアに関して，特定の使用目的
  36 $   に対する適合性も含めて，いかなる保証も行わない．また，本ソフトウェ
  37 $   アの利用により直接的または間接的に生じたいかなる損害に関しても，そ
  38 $   の責任を負わない．
  39 $
  40 $   $Id: kernel.tf 2024 2011-01-02 08:59:23Z ertl-hiro $
  41 $
  42 $ =====================================================================
  43
  44 $ =====================================================================
  45 $ kernel_cfg.hの生成
  46 $ =====================================================================
  47
  48 $FILE "kernel_cfg.h"$
  49 /* kernel_cfg.h */$NL$
  50 #ifndef TOPPERS_KERNEL_CFG_H$NL$
  51 #define TOPPERS_KERNEL_CFG_H$NL$
  52 $NL$
  53 #define TNUM_TSKID      $LENGTH(TSK.ID_LIST)$$NL$
  54 #define TNUM_SEMID      $LENGTH(SEM.ID_LIST)$$NL$
  55 #define TNUM_FLGID      $LENGTH(FLG.ID_LIST)$$NL$
  56 #define TNUM_DTQID      $LENGTH(DTQ.ID_LIST)$$NL$
  57 #define TNUM_PDQID      $LENGTH(PDQ.ID_LIST)$$NL$
  58 #define TNUM_MBXID      $LENGTH(MBX.ID_LIST)$$NL$
  59 #define TNUM_MPFID      $LENGTH(MPF.ID_LIST)$$NL$
  60 #define TNUM_CYCID      $LENGTH(CYC.ID_LIST)$$NL$
  61 #define TNUM_ALMID      $LENGTH(ALM.ID_LIST)$$NL$
  62 $NL$
  63 $FOREACH id TSK.ID_LIST$
  64         #define $id$    $+id$$NL$
  65 $END$
  66 $FOREACH id SEM.ID_LIST$
  67         #define $id$    $+id$$NL$
  68 $END$
  69 $FOREACH id FLG.ID_LIST$
  70         #define $id$    $+id$$NL$
  71 $END$
  72 $FOREACH id DTQ.ID_LIST$
  73         #define $id$    $+id$$NL$
  74 $END$
  75 $FOREACH id PDQ.ID_LIST$
  76         #define $id$    $+id$$NL$
  77 $END$
  78 $FOREACH id MBX.ID_LIST$
  79         #define $id$    $+id$$NL$
  80 $END$
  81 $FOREACH id MPF.ID_LIST$
  82         #define $id$    $+id$$NL$
  83 $END$
  84 $FOREACH id CYC.ID_LIST$
  85         #define $id$    $+id$$NL$
  86 $END$
  87 $FOREACH id ALM.ID_LIST$
  88         #define $id$    $+id$$NL$
  89 $END$
  90 $NL$
  91 #endif /* TOPPERS_KERNEL_CFG_H */$NL$
  92
  93 $ =====================================================================
  94 $ kernel_cfg.cの生成
  95 $ =====================================================================
  96
  97 $FILE "kernel_cfg.c"$
  98 /* kernel_cfg.c */$NL$
  99 #include "kernel/kernel_int.h"$NL$
 100 #include "kernel_cfg.h"$NL$
 101 $NL$
 102 #ifndef TOPPERS_EMPTY_LABEL$NL$
 103 #define TOPPERS_EMPTY_LABEL(x,y) x y[0]$NL$
 104 #endif$NL$
 105 $NL$
 106 #if TKERNEL_PRID != 0x07u$NL$
 107 #error The kernel does not match this configuration file.$NL$
 108 #endif$NL$
 109 $NL$
 110
 111 $
 112 $  インクルードディレクティブ（#include）
 113 $
 114 /*$NL$
 115 $SPC$*  Include Directives (#include)$NL$
 116 $SPC$*/$NL$
 117 $NL$
 118 $INCLUDES$
 119 $NL$
 120
 121 $
 122 $  オブジェクトのID番号を保持する変数
 123 $
 124 $IF USE_EXTERNAL_ID$
 125         /*$NL$
 126         $SPC$*  Variables for Object ID$NL$
 127         $SPC$*/$NL$
 128         $NL$
 129         $FOREACH id TSK.ID_LIST$
 130                 const ID $id$_id$SPC$=$SPC$$+id$;$NL$
 131         $END$
 132         $FOREACH id SEM.ID_LIST$
 133                 const ID $id$_id$SPC$=$SPC$$+id$;$NL$
 134         $END$
 135         $FOREACH id FLG.ID_LIST$
 136                 const ID $id$_id$SPC$=$SPC$$+id$;$NL$
 137         $END$
 138         $FOREACH id DTQ.ID_LIST$
 139                 const ID $id$_id$SPC$=$SPC$$+id$;$NL$
 140         $END$
 141         $FOREACH id PDQ.ID_LIST$
 142                 const ID $id$_id$SPC$=$SPC$$+id$;$NL$
 143         $END$
 144         $FOREACH id MBX.ID_LIST$
 145                 const ID $id$_id$SPC$=$SPC$$+id$;$NL$
 146         $END$
 147         $FOREACH id MPF.ID_LIST$
 148                 const ID $id$_id$SPC$=$SPC$$+id$;$NL$
 149         $END$
 150         $FOREACH id CYC.ID_LIST$
 151                 const ID $id$_id$SPC$=$SPC$$+id$;$NL$
 152         $END$
 153         $FOREACH id ALM.ID_LIST$
 154                 const ID $id$_id$SPC$=$SPC$$+id$;$NL$
 155         $END$
 156 $END$
 157
 158 $
 159 $  トレースログマクロのデフォルト定義
 160 $
 161 /*$NL$
 162 $SPC$*  Default Definitions of Trace Log Macros$NL$
 163 $SPC$*/$NL$
 164 $NL$
 165 #ifndef LOG_ISR_ENTER$NL$
 166 #define LOG_ISR_ENTER(intno)$NL$
 167 #endif /* LOG_ISR_ENTER */$NL$
 168 $NL$
 169 #ifndef LOG_ISR_LEAVE$NL$
 170 #define LOG_ISR_LEAVE(intno)$NL$
 171 #endif /* LOG_ISR_LEAVE */$NL$
 172 $NL$
 173
 174 $
 175 $  タスク
 176 $
 177 /*$NL$
 178 $SPC$*  Task Management Functions$NL$
 179 $SPC$*/$NL$
 180 $NL$
 181
 182 $ タスクが1個以上存在することのチェック
 183 $IF !LENGTH(TSK.ID_LIST)$
 184         $ERROR$$FORMAT(_("no task is registered"))$$END$
 185 $END$
 186
 187 $ タスクID番号の最大値
 188 const ID _kernel_tmax_tskid = (TMIN_TSKID + TNUM_TSKID - 1);$NL$
 189 $NL$
 190
 191 $ エラーチェック
 192 $FOREACH tskid TSK.ID_LIST$
 193 $       // tskatrが（［TA_ACT］）でない場合（E_RSATR）
 194         $IF (TSK.TSKATR[tskid] & ~(TA_ACT|TARGET_TSKATR)) != 0$
 195                 $ERROR TSK.TEXT_LINE[tskid]$E_RSATR: $FORMAT(_("illegal %1% `%2%\' of `%3%\' in %4%"), "tskatr", TSK.TSKATR[tskid], tskid, "CRE_TSK")$$END$
 196         $END$
 197
 198 $       // (TMIN_TPRI <= itskpri && itskpri <= TMAX_TPRI)でない場合（E_PAR）
 199         $IF !(TMIN_TPRI <= TSK.ITSKPRI[tskid] && TSK.ITSKPRI[tskid] <= TMAX_TPRI)$
 200                 $ERROR TSK.TEXT_LINE[tskid]$E_PAR: $FORMAT(_("illegal %1% `%2%\' of `%3%\' in %4%"), "itskpri", TSK.ITSKPRI[tskid], tskid, "CRE_TSK")$$END$
 201         $END$
 202
 203 $       // texatrが（TA_NULL）でない場合（E_RSATR）
 204         $IF LENGTH(TSK.TEXATR[tskid]) && TSK.TEXATR[tskid] != 0$
 205                 $ERROR DEF_TEX.TEXT_LINE[tskid]$E_RSATR: $FORMAT(_("illegal %1% `%2%\' of `%3%\' in %4%"), "texatr", TSK.TEXATR[tskid], tskid, "DEF_TEX")$$END$
 206         $END$
 207 $END$
 208
 209 $ スタック領域の生成とそれに関するエラーチェック
 210 $FOREACH tskid TSK.ID_LIST$
 211 $       // stkszが0か，ターゲット定義の最小値（TARGET_MIN_STKSZ）よりも小さい場合（E_PAR）
 212         $IF TSK.STKSZ[tskid] == 0 || (TARGET_MIN_STKSZ
 213                                                                         && TSK.STKSZ[tskid] < TARGET_MIN_STKSZ)$
 214                 $ERROR TSK.TEXT_LINE[tskid]$E_PAR: $FORMAT(_("%1% `%2%\' of `%3%\' in %4% is too small"), "stksz", TSK.STKSZ[tskid], tskid, "CRE_TSK")$$END$
 215         $END$
 216 $       // stkszがスタック領域のサイズとして正しくない場合（E_PAR）
 217         $IF !EQ(TSK.STK[tskid], "NULL") && CHECK_STKSZ_ALIGN
 218                                                         && (TSK.STKSZ[tskid] & (CHECK_STKSZ_ALIGN - 1))$
 219                 $ERROR TSK.TEXT_LINE[tskid]$E_PAR: $FORMAT(_("%1% `%2%\' of `%3%\' in %4% is not aligned"), "stksz", TSK.STKSZ[tskid], tskid, "CRE_TSK")$$END$
 220         $END$
 221
 222         $IF EQ(TSK.STK[tskid],"NULL")$
 223                 static STK_T _kernel_stack_$tskid$[COUNT_STK_T($TSK.STKSZ[tskid]$)];$NL$
 224                 $TSK.TINIB_STKSZ[tskid] = FORMAT("ROUND_STK_T(%1%)", TSK.STKSZ[tskid])$
 225                 $TSK.TINIB_STK[tskid] = CONCAT("_kernel_stack_", tskid)$
 226         $ELSE$
 227                 $TSK.TINIB_STKSZ[tskid] = TSK.STKSZ[tskid]$
 228                 $TSK.TINIB_STK[tskid] = TSK.STK[tskid]$
 229         $END$
 230 $END$
 231 $NL$
 232
 233 $ タスク初期化ブロックの生成（タスクは1個以上存在する）
 234 const TINIB _kernel_tinib_table[TNUM_TSKID] = {$NL$
 235 $JOINEACH tskid TSK.ID_LIST ",\n"$
 236 $       // タスク属性，拡張情報，起動番地，起動時優先度
 237         $TAB${
 238         $SPC$($TSK.TSKATR[tskid]$), (intptr_t)($TSK.EXINF[tskid]$),
 239         $SPC$((TASK)($TSK.TASK[tskid]$)), INT_PRIORITY($TSK.ITSKPRI[tskid]$),
 240
 241 $       // タスク初期化コンテキストブロック，スタック領域
 242         $IF USE_TSKINICTXB$
 243                 $GENERATE_TSKINICTXB(tskid)$
 244         $ELSE$
 245                 $SPC$$TSK.TINIB_STKSZ[tskid]$, $TSK.TINIB_STK[tskid]$,
 246         $END$
 247
 248 $       // タスク例外処理ルーチンの属性と起動番地
 249         $SPC$($ALT(TSK.TEXATR[tskid],"TA_NULL")$), ($ALT(TSK.TEXRTN[tskid],"NULL")$) }
 250 $END$$NL$
 251 };$NL$
 252 $NL$
 253
 254 $ タスク管理ブロックの生成
 255 TCB _kernel_tcb_table[TNUM_TSKID];$NL$
 256 $NL$
 257
 258 $ タスク生成順序テーブルの生成
 259 const ID _kernel_torder_table[TNUM_TSKID] = {$NL$
 260 $TAB$$JOINEACH tskid TSK.ORDER_LIST ", "$$tskid$$END$$NL$
 261 };$NL$
 262 $NL$
 263
 264 $
 265 $  セマフォ
 266 $
 267 /*$NL$
 268 $SPC$*  Semaphore Functions$NL$
 269 $SPC$*/$NL$
 270 $NL$
 271
 272 $ セマフォID番号の最大値
 273 const ID _kernel_tmax_semid = (TMIN_SEMID + TNUM_SEMID - 1);$NL$
 274 $NL$
 275
 276 $ セマフォ初期化ブロックの生成
 277 $IF LENGTH(SEM.ID_LIST)$
 278         const SEMINIB _kernel_seminib_table[TNUM_SEMID] = {$NL$
 279         $JOINEACH semid SEM.ID_LIST ",\n"$
 280 $               // sematrが（［TA_TPRI］）でない場合（E_RSATR）
 281                 $IF (SEM.SEMATR[semid] & ~TA_TPRI) != 0$
 282                         $ERROR SEM.TEXT_LINE[semid]$E_RSATR: $FORMAT(_("illegal %1% `%2%\' of `%3%\' in %4%"), "sematr", SEM.SEMATR[semid], semid, "CRE_SEM")$$END$
 283                 $END$
 284
 285 $               // (0 <= isemcnt && isemcnt <= maxsem)でない場合（E_PAR）
 286                 $IF !(0 <= SEM.ISEMCNT[semid] && SEM.ISEMCNT[semid] <= SEM.MAXSEM[semid])$
 287                         $ERROR SEM.TEXT_LINE[semid]$E_PAR: $FORMAT(_("too large %1% `%2%\' of `%3%\' in %4%"), "isemcnt", SEM.ISEMCNT[semid], semid, "CRE_SEM")$$END$
 288                 $END$
 289
 290 $               // (1 <= maxsem && maxsem <= TMAX_MAXSEM)でない場合（E_PAR）
 291                 $IF !(1 <= SEM.MAXSEM[semid] && SEM.MAXSEM[semid] <= TMAX_MAXSEM)$
 292                         $ERROR SEM.TEXT_LINE[semid]$E_PAR: $FORMAT(_("illegal %1% `%2%\' of `%3%\' in %4%"), "maxsem", SEM.MAXSEM[semid], semid, "CRE_SEM")$$END$
 293                 $END$
 294
 295 $               // セマフォ初期化ブロック
 296                 $TAB${ ($SEM.SEMATR[semid]$), ($SEM.ISEMCNT[semid]$), ($SEM.MAXSEM[semid]$) }
 297         $END$$NL$
 298         };$NL$
 299         $NL$
 300
 301 $       // セマフォ管理ブロック
 302         SEMCB _kernel_semcb_table[TNUM_SEMID];$NL$
 303 $ELSE$
 304         TOPPERS_EMPTY_LABEL(const SEMINIB, _kernel_seminib_table);$NL$
 305         TOPPERS_EMPTY_LABEL(SEMCB, _kernel_semcb_table);$NL$
 306 $END$$NL$
 307
 308 $
 309 $  イベントフラグ
 310 $
 311 /*$NL$
 312 $SPC$*  Eventflag Functions$NL$
 313 $SPC$*/$NL$
 314 $NL$
 315
 316 $ イベントフラグID番号の最大値
 317 const ID _kernel_tmax_flgid = (TMIN_FLGID + TNUM_FLGID - 1);$NL$
 318 $NL$
 319
 320 $ イベントフラグ初期化ブロックの生成
 321 $IF LENGTH(FLG.ID_LIST)$
 322         const FLGINIB _kernel_flginib_table[TNUM_FLGID] = {$NL$
 323         $JOINEACH flgid FLG.ID_LIST ",\n"$
 324 $               // flgatrが（［TA_TPRI］｜［TA_WMUL］｜［TA_CLR］）でない場合（E_RSATR）
 325                 $IF (FLG.FLGATR[flgid] & ~(TA_TPRI|TA_WMUL|TA_CLR)) != 0$
 326                         $ERROR FLG.TEXT_LINE[flgid]$E_RSATR: $FORMAT(_("illegal %1% `%2%\' of `%3%\' in %4%"), "flgatr", FLG.FLGATR[flgid], flgid, "CRE_FLG")$$END$
 327                 $END$
 328
 329 $               // イベントフラグ初期化ブロック
 330                 $TAB${ ($FLG.FLGATR[flgid]$), ($FLG.IFLGPTN[flgid]$) }
 331         $END$$NL$
 332         };$NL$
 333         $NL$
 334
 335 $       // イベントフラグ管理ブロック
 336         FLGCB _kernel_flgcb_table[TNUM_FLGID];$NL$
 337 $ELSE$
 338         TOPPERS_EMPTY_LABEL(const FLGINIB, _kernel_flginib_table);$NL$
 339         TOPPERS_EMPTY_LABEL(FLGCB, _kernel_flgcb_table);$NL$
 340 $END$$NL$
 341
 342 $
 343 $  データキュー
 344 $
 345 /*$NL$
 346 $SPC$*  Dataqueue Functions$NL$
 347 $SPC$*/$NL$
 348 $NL$
 349
 350 $ データキューID番号の最大値
 351 const ID _kernel_tmax_dtqid = (TMIN_DTQID + TNUM_DTQID - 1);$NL$
 352 $NL$
 353
 354 $IF LENGTH(DTQ.ID_LIST)$
 355         $FOREACH dtqid DTQ.ID_LIST$
 356 $               // dtqatrが（［TA_TPRI］）でない場合（E_RSATR）
 357                 $IF (DTQ.DTQATR[dtqid] & ~TA_TPRI) != 0$
 358                         $ERROR DTQ.TEXT_LINE[dtqid]$E_RSATR: $FORMAT(_("illegal %1% `%2%\' of `%3%\' in %4%"), "dtqatr", DTQ.DTQATR[dtqid], dtqid, "CRE_DTQ")$$END$
 359                 $END$
 360
 361 $               // dtqmbがNULLでない場合（E_NOSPT）
 362                 $IF !EQ(DTQ.DTQMB[dtqid], "NULL")$
 363                         $ERROR DTQ.TEXT_LINE[dtqid]$E_NOSPT: $FORMAT(_("illegal %1% `%2%\' of `%3%\' in %4%"), "dtqmb", DTQ.DTQMB[dtqid], dtqid, "CRE_DTQ")$$END$
 364                 $END$
 365
 366 $               // データキュー管理領域
 367                 $IF DTQ.DTQCNT[dtqid]$
 368                         static DTQMB _kernel_dtqmb_$dtqid$[$DTQ.DTQCNT[dtqid]$];$NL$
 369                 $END$
 370         $END$
 371
 372 $       // データキュー初期化ブロックの生成
 373         const DTQINIB _kernel_dtqinib_table[TNUM_DTQID] = {$NL$
 374         $JOINEACH dtqid DTQ.ID_LIST ",\n"$
 375                 $TAB${ ($DTQ.DTQATR[dtqid]$), ($DTQ.DTQCNT[dtqid]$), $IF DTQ.DTQCNT[dtqid]$(_kernel_dtqmb_$dtqid$)$ELSE$NULL$END$ }
 376         $END$$NL$
 377         };$NL$
 378         $NL$
 379
 380 $       // データキュー管理ブロック
 381         DTQCB _kernel_dtqcb_table[TNUM_DTQID];$NL$
 382 $ELSE$
 383         TOPPERS_EMPTY_LABEL(const DTQINIB, _kernel_dtqinib_table);$NL$
 384         TOPPERS_EMPTY_LABEL(DTQCB, _kernel_dtqcb_table);$NL$
 385 $END$$NL$
 386
 387 $
 388 $  優先度データキュー
 389 $
 390 /*$NL$
 391 $SPC$*  Priority Dataqueue Functions$NL$
 392 $SPC$*/$NL$
 393 $NL$
 394
 395 $ 優先度データキューID番号の最大値
 396 const ID _kernel_tmax_pdqid = (TMIN_PDQID + TNUM_PDQID - 1);$NL$
 397 $NL$
 398
 399 $IF LENGTH(PDQ.ID_LIST)$
 400         $FOREACH pdqid PDQ.ID_LIST$
 401 $               // pdqatrが（［TA_TPRI］）でない場合（E_RSATR）
 402                 $IF (PDQ.PDQATR[pdqid] & ~TA_TPRI) != 0$
 403                         $ERROR PDQ.TEXT_LINE[pdqid]$E_RSATR: $FORMAT(_("illegal %1% `%2%\' of `%3%\' in %4%"), "pdqatr", PDQ.PDQATR[pdqid], pdqid, "CRE_PDQ")$$END$
 404                 $END$
 405
 406 $               // (TMIN_DPRI <= maxdpri && maxdpri <= TMAX_DPRI)でない場合（E_PAR）
 407                 $IF !(TMIN_DPRI <= PDQ.MAXDPRI[pdqid] && PDQ.MAXDPRI[pdqid] <= TMAX_DPRI)$
 408                         $ERROR PDQ.TEXT_LINE[pdqid]$E_PAR: $FORMAT(_("illegal %1% `%2%\' of `%3%\' in %4%"), "maxdpri", PDQ.MAXDPRI[pdqid], pdqid, "CRE_PDQ")$$END$
 409                 $END$
 410
 411 $               // pdqmbがNULLでない場合（E_NOSPT）
 412                 $IF !EQ(PDQ.PDQMB[pdqid], "NULL")$
 413                         $ERROR PDQ.TEXT_LINE[pdqid]$E_NOSPT: $FORMAT(_("illegal %1% `%2%\' of `%3%\' in %4%"), "pdqmb", PDQ.PDQMB[pdqid], pdqid, "CRE_PDQ")$$END$
 414                 $END$
 415
 416 $               // 優先度データキュー管理領域
 417                 $IF PDQ.PDQCNT[pdqid]$
 418                         static PDQMB _kernel_pdqmb_$pdqid$[$PDQ.PDQCNT[pdqid]$];$NL$
 419                 $END$
 420         $END$
 421
 422 $       // 優先度データキュー初期化ブロックの生成
 423         const PDQINIB _kernel_pdqinib_table[TNUM_PDQID] = {$NL$
 424         $JOINEACH pdqid PDQ.ID_LIST ",\n"$
 425                 $TAB${ ($PDQ.PDQATR[pdqid]$), ($PDQ.PDQCNT[pdqid]$), ($PDQ.MAXDPRI[pdqid]$), $IF PDQ.PDQCNT[pdqid]$(_kernel_pdqmb_$pdqid$)$ELSE$NULL$END$ }
 426         $END$$NL$
 427         };$NL$
 428         $NL$
 429
 430 $       // 優先度データキュー管理ブロック
 431         PDQCB _kernel_pdqcb_table[TNUM_PDQID];$NL$
 432 $ELSE$
 433         TOPPERS_EMPTY_LABEL(const PDQINIB, _kernel_pdqinib_table);$NL$
 434         TOPPERS_EMPTY_LABEL(PDQCB, _kernel_pdqcb_table);$NL$
 435 $END$$NL$
 436
 437 $
 438 $  メールボックス
 439 $
 440 /*$NL$
 441 $SPC$*  Mailbox Functions$NL$
 442 $SPC$*/$NL$
 443 $NL$
 444
 445 $ メールボックスID番号の最大値
 446 const ID _kernel_tmax_mbxid = (TMIN_MBXID + TNUM_MBXID - 1);$NL$
 447 $NL$
 448
 449 $ メールボックス初期化ブロックの生成
 450 $IF LENGTH(MBX.ID_LIST)$
 451         const MBXINIB _kernel_mbxinib_table[TNUM_MBXID] = {$NL$
 452         $JOINEACH mbxid MBX.ID_LIST ",\n"$
 453 $               // mbxatrが（［TA_TPRI］｜［TA_MPRI］）でない場合（E_RSATR）
 454                 $IF (MBX.MBXATR[mbxid] & ~(TA_TPRI|TA_MPRI)) != 0$
 455                         $ERROR MBX.TEXT_LINE[mbxid]$E_RSATR: $FORMAT(_("illegal %1% `%2%\' of `%3%\' in %4%"), "mbxatr", MBX.MBXATR[mbxid], mbxid, "CRE_MBX")$$END$
 456                 $END$
 457
 458 $               // (TMIN_MPRI <= maxmpri && maxmpri <= TMAX_MPRI)でない場合（E_PAR）
 459                 $IF !(TMIN_MPRI <= MBX.MAXMPRI[mbxid] && MBX.MAXMPRI[mbxid] <= TMAX_MPRI)$
 460                         $ERROR MBX.TEXT_LINE[mbxid]$E_PAR: $FORMAT(_("illegal %1% `%2%\' of `%3%\' in %4%"), "maxmpri", MBX.MAXMPRI[mbxid], mbxid, "CRE_MBX")$$END$
 461                 $END$
 462
 463 $               // mprihdがNULLでない場合（E_NOSPT）
 464                 $IF !EQ(MBX.MPRIHD[mbxid], "NULL")$
 465                         $ERROR MBX.TEXT_LINE[mbxid]$E_NOSPT: $FORMAT(_("illegal %1% `%2%\' of `%3%\' in %4%"), "mprihd", MBX.MPRIHD[mbxid], mbxid, "CRE_MBX")$$END$
 466                 $END$
 467
 468 $               // メールボックス初期化ブロック
 469                 $TAB${ ($MBX.MBXATR[mbxid]$), ($MBX.MAXMPRI[mbxid]$) }
 470         $END$$NL$
 471         };$NL$
 472         $NL$
 473
 474 $       // メールボックス管理ブロック
 475         MBXCB _kernel_mbxcb_table[TNUM_MBXID];$NL$
 476 $ELSE$
 477         TOPPERS_EMPTY_LABEL(const MBXINIB, _kernel_mbxinib_table);$NL$
 478         TOPPERS_EMPTY_LABEL(MBXCB, _kernel_mbxcb_table);$NL$
 479 $END$$NL$
 480
 481 $
 482 $  固定長メモリプール
 483 $
 484 /*$NL$
 485 $SPC$*  Fixed-sized Memorypool Functions$NL$
 486 $SPC$*/$NL$
 487 $NL$
 488
 489 $ 固定長メモリプールID番号の最大値
 490 const ID _kernel_tmax_mpfid = (TMIN_MPFID + TNUM_MPFID - 1);$NL$
 491 $NL$
 492
 493 $IF LENGTH(MPF.ID_LIST)$
 494         $FOREACH mpfid MPF.ID_LIST$
 495 $               // mpfatrが（［TA_TPRI］）でない場合（E_RSATR）
 496                 $IF (MPF.MPFATR[mpfid] & ~TA_TPRI) != 0$
 497                         $ERROR MPF.TEXT_LINE[mpfid]$E_RSATR: $FORMAT(_("illegal %1% `%2%\' of `%3%\' in %4%"), "mpfatr", MPF.MPFATR[mpfid], mpfid, "CRE_MPF")$$END$
 498                 $END$
 499
 500 $               // blkcntが0の場合（E_PAR）
 501                 $IF MPF.BLKCNT[mpfid] == 0$
 502                         $ERROR MPF.TEXT_LINE[mpfid]$E_PAR: $FORMAT(_("illegal %1% `%2%\' of `%3%\' in %4%"), "blkcnt", MPF.BLKCNT[mpfid], mpfid, "CRE_MPF")$$END$
 503                 $END$
 504
 505 $               // blkszが0の場合（E_PAR）
 506                 $IF MPF.BLKSZ[mpfid] == 0$
 507                         $ERROR MPF.TEXT_LINE[mpfid]$E_PAR: $FORMAT(_("illegal %1% `%2%\' of `%3%\' in %4%"), "blksz", MPF.BLKSZ[mpfid], mpfid, "CRE_MPF")$$END$
 508                 $END$
 509
 510 $               // 固定長メモリプール領域
 511                 $IF EQ(MPF.MPF[mpfid], "NULL")$
 512                         static MPF_T _kernel_mpf_$mpfid$[($MPF.BLKCNT[mpfid]$) * COUNT_MPF_T($MPF.BLKSZ[mpfid]$)];$NL$
 513                 $END$
 514
 515 $               // mpfmbがNULLでない場合（E_NOSPT）
 516                 $IF !EQ(MPF.MPFMB[mpfid], "NULL")$
 517                         $ERROR MPF.TEXT_LINE[mpfid]$E_NOSPT: $FORMAT(_("illegal %1% `%2%\' of `%3%\' in %4%"), "mpfmb", MPF.MPFMB[mpfid], mpfid, "CRE_MPF")$$END$
 518                 $END$
 519
 520 $               // 固定長メモリプール管理領域
 521                 static MPFMB _kernel_mpfmb_$mpfid$[$MPF.BLKCNT[mpfid]$];$NL$
 522         $END$
 523
 524 $       // 固定長メモリプール初期化ブロックの生成
 525         const MPFINIB _kernel_mpfinib_table[TNUM_MPFID] = {$NL$
 526         $JOINEACH mpfid MPF.ID_LIST ",\n"$
 527                 $TAB${ ($MPF.MPFATR[mpfid]$), ($MPF.BLKCNT[mpfid]$), ROUND_MPF_T($MPF.BLKSZ[mpfid]$), $IF EQ(MPF.MPF[mpfid],"NULL")$(_kernel_mpf_$mpfid$)$ELSE$($MPF.MPF[mpfid]$)$END$, (_kernel_mpfmb_$mpfid$) }
 528         $END$$NL$
 529         };$NL$
 530         $NL$
 531
 532 $       // 固定長メモリプール管理ブロック
 533         MPFCB _kernel_mpfcb_table[TNUM_MPFID];$NL$
 534 $ELSE$
 535         TOPPERS_EMPTY_LABEL(const MPFINIB, _kernel_mpfinib_table);$NL$
 536         TOPPERS_EMPTY_LABEL(MPFCB, _kernel_mpfcb_table);$NL$
 537 $END$$NL$
 538
 539 $
 540 $  周期ハンドラ
 541 $
 542 /*$NL$
 543 $SPC$*  Cyclic Handler Functions$NL$
 544 $SPC$*/$NL$
 545 $NL$
 546
 547 $ 周期ハンドラID番号の最大値
 548 const ID _kernel_tmax_cycid = (TMIN_CYCID + TNUM_CYCID - 1);$NL$
 549 $NL$
 550
 551 $ 周期ハンドラ初期化テーブルの生成
 552 $IF LENGTH(CYC.ID_LIST)$
 553         const CYCINIB _kernel_cycinib_table[TNUM_CYCID] = {$NL$
 554         $JOINEACH cycid CYC.ID_LIST ",\n"$
 555 $               // cycatrが（［TA_STA］）でない場合（E_RSATR）
 556                 $IF (CYC.CYCATR[cycid] & ~TA_STA) != 0$
 557                         $ERROR CYC.TEXT_LINE[cycid]$E_RSATR: $FORMAT(_("illegal %1% `%2%\' of `%3%\' in %4%"), "cycatr", CYC.CYCATR[cycid], cycid, "CRE_CYC")$$END$
 558                 $END$
 559
 560 $               // (0 < cyctim && cyctim <= TMAX_RELTIM)でない場合（E_PAR）
 561                 $IF !(0 < CYC.CYCTIM[cycid] && CYC.CYCTIM[cycid] <= TMAX_RELTIM)$
 562                         $ERROR CYC.TEXT_LINE[cycid]$E_PAR: $FORMAT(_("illegal %1% `%2%\' of `%3%\' in %4%"), "cyctim", CYC.CYCTIM[cycid], cycid, "CRE_CYC")$$END$
 563                 $END$
 564
 565 $               // (0 <= cycphs && cycphs <= TMAX_RELTIM)でない場合（E_PAR）
 566                 $IF !(0 <= CYC.CYCPHS[cycid] && CYC.CYCPHS[cycid] <= TMAX_RELTIM)$
 567                         $ERROR CYC.TEXT_LINE[cycid]$E_PAR: $FORMAT(_("illegal %1% `%2%\' of `%3%\' in %4%"), "cycphs", CYC.CYCPHS[cycid], cycid, "CRE_CYC")$$END$
 568                 $END$
 569
 570 $               // 警告：cycatrにTA_STAが設定されていて，(cycphs == 0)の場合
 571                 $IF (CYC.CYCATR[cycid] & TA_STA) != 0 && CYC.CYCPHS[cycid] == 0$
 572                         $WARNING CYC.TEXT_LINE[cycid]$$FORMAT(_("%1% is not recommended when %2% is set to %3% in %4%"), "cycphs==0", "TA_STA", "cycatr", "CRE_CYC")$$END$
 573                 $END$
 574
 575 $               // 周期ハンドラ初期化ブロック
 576                 $TAB${ ($CYC.CYCATR[cycid]$), (intptr_t)($CYC.EXINF[cycid]$), ($CYC.CYCHDR[cycid]$), ($CYC.CYCTIM[cycid]$), ($CYC.CYCPHS[cycid]$) }
 577         $END$$NL$
 578         };$NL$
 579         $NL$
 580
 581 $       // 周期ハンドラ管理ブロック
 582         CYCCB _kernel_cyccb_table[TNUM_CYCID];$NL$
 583 $ELSE$
 584         TOPPERS_EMPTY_LABEL(const CYCINIB, _kernel_cycinib_table);$NL$
 585         TOPPERS_EMPTY_LABEL(CYCCB, _kernel_cyccb_table);$NL$
 586 $END$$NL$
 587
 588 $
 589 $  アラームハンドラ
 590 $
 591 /*$NL$
 592 $SPC$*  Alarm Handler Functions$NL$
 593 $SPC$*/$NL$
 594 $NL$
 595
 596 $ アラームハンドラID番号の最大値
 597 const ID _kernel_tmax_almid = (TMIN_ALMID + TNUM_ALMID - 1);$NL$
 598 $NL$
 599
 600 $ アラームハンドラ初期化ブロックの生成
 601 $IF LENGTH(ALM.ID_LIST)$
 602         const ALMINIB _kernel_alminib_table[TNUM_ALMID] = {$NL$
 603         $JOINEACH almid ALM.ID_LIST ",\n"$
 604 $               // almatrが（TA_NULL）でない場合（E_RSATR）
 605                 $IF ALM.ALMATR[almid] != 0$
 606                         $ERROR ALM.TEXT_LINE[almid]$E_RSATR: $FORMAT(_("illegal %1% `%2%\' of `%3%\' in %4%"), "almatr", ALM.ALMATR[almid], almid, "CRE_ALM")$$END$
 607                 $END$
 608
 609 $               // アラームハンドラ初期化ブロック
 610                 $TAB${ ($ALM.ALMATR[almid]$), (intptr_t)($ALM.EXINF[almid]$), ($ALM.ALMHDR[almid]$) }
 611         $END$$NL$
 612         };$NL$
 613         $NL$
 614
 615 $       // アラームハンドラ管理ブロック
 616         ALMCB _kernel_almcb_table[TNUM_ALMID];$NL$
 617 $ELSE$
 618         TOPPERS_EMPTY_LABEL(const ALMINIB, _kernel_alminib_table);$NL$
 619         TOPPERS_EMPTY_LABEL(ALMCB, _kernel_almcb_table);$NL$
 620 $END$$NL$
 621
 622 $
 623 $  割込み管理機能
 624 $
 625 /*$NL$
 626 $SPC$*  Interrupt Management Functions$NL$
 627 $SPC$*/$NL$
 628 $NL$
 629
 630 $ 割込み番号と割込みハンドラ番号の変換テーブルの作成
 631 $IF LENGTH(INTNO_ATTISR_VALID) != LENGTH(INHNO_ATTISR_VALID)$
 632         $ERROR$length of `INTNO_ATTISR_VALID' is different from length of `INHNO_ATTISR_VALID'$END$
 633 $END$
 634 $i = 0$
 635 $FOREACH intno INTNO_ATTISR_VALID$
 636         $inhno = AT(INHNO_ATTISR_VALID, i)$
 637         $INHNO[intno] = inhno$
 638         $INTNO[inhno] = intno$
 639         $i = i + 1$
 640 $END$
 641
 642 $ 割込み要求ラインに関するエラーチェック
 643 $i = 0$
 644 $FOREACH intno INT.ORDER_LIST$
 645 $       // intnoがCFG_INTに対する割込み番号として正しくない場合（E_PAR）
 646         $IF !LENGTH(FIND(INTNO_CFGINT_VALID, INT.INTNO[intno]))$
 647                 $ERROR INT.TEXT_LINE[intno]$E_PAR: $FORMAT(_("illegal %1% `%2%\' in %3%"), "intno", INT.INTNO[intno], "CFG_INT")$$END$
 648         $END$
 649
 650 $       // intnoがCFG_INTによって設定済みの場合（E_OBJ）
 651         $j = 0$
 652         $FOREACH intno2 INT.ORDER_LIST$
 653                 $IF INT.INTNO[intno] == INT.INTNO[intno2] && j < i$
 654                         $ERROR INT.TEXT_LINE[intno]$E_OBJ: $FORMAT(_("%1% `%2%\' in %3% is duplicated"), "intno", INT.INTNO[intno], "CFG_INT")$$END$
 655                 $END$
 656                 $j = j + 1$
 657         $END$
 658
 659 $       // intatrが（［TA_ENAINT］｜［TA_EDGE］）でない場合（E_RSATR）
 660         $IF (INT.INTATR[intno] & ~(TA_ENAINT|TA_EDGE|TARGET_INTATR)) != 0$
 661                 $ERROR INT.TEXT_LINE[intno]$E_RSATR: $FORMAT(_("illegal %1% `%2%\' of %3% `%4%\' in %5%"), "intatr", INT.INTATR[intno], "intno", INT.INTNO[intno], "CFG_INT")$$END$
 662         $END$
 663
 664 $       // intpriがCFG_INTに対する割込み優先度として正しくない場合（E_PAR）
 665         $IF !LENGTH(FIND(INTPRI_CFGINT_VALID, INT.INTPRI[intno]))$
 666                 $ERROR INT.TEXT_LINE[intno]$E_PAR: $FORMAT(_("illegal %1% `%2%\' in %3%"), "intpri", INT.INTPRI[intno], "CFG_INT")$$END$
 667         $END$
 668
 669 $       // カーネル管理に固定されているintnoに対して，intpriにTMIN_INTPRI
 670 $       // よりも小さい値が指定された場合（E_OBJ）
 671         $IF LENGTH(FIND(INTNO_FIX_KERNEL, intno))$
 672                 $IF INT.INTPRI[intno] < TMIN_INTPRI$
 673                         $ERROR INT.TEXT_LINE[intno]$E_OBJ: $FORMAT(_("%1% `%2%\' must not have higher priority than %3%"), "intno", INT.INTNO[intno], "TMIN_INTPRI")$$END$
 674                 $END$
 675         $END$
 676
 677 $       // カーネル管理外に固定されているintnoに対して，intpriにTMIN_INTPRI
 678 $       // よりも小さい値が指定されなかった場合（E_OBJ）
 679         $IF LENGTH(FIND(INTNO_FIX_NONKERNEL, intno))$
 680                 $IF INT.INTPRI[intno] >= TMIN_INTPRI$
 681                         $ERROR INT.TEXT_LINE[intno]$E_OBJ: $FORMAT(_("%1% `%2%\' must have higher priority than %3%"), "intno", INT.INTNO[intno], "TMIN_INTPRI")$$END$
 682                 $END$
 683         $END$
 684         $i = i + 1$
 685 $END$
 686
 687 $ 割込みハンドラに関するエラーチェック
 688 $i = 0$
 689 $FOREACH inhno INH.ORDER_LIST$
 690 $       // inhnoがDEF_INHに対する割込みハンドラ番号として正しくない場合（E_PAR）
 691         $IF !LENGTH(FIND(INHNO_DEFINH_VALID, INH.INHNO[inhno]))$
 692                 $ERROR INH.TEXT_LINE[inhno]$E_PAR: $FORMAT(_("illegal %1% `%2%\' in %3%"), "inhno", INH.INHNO[inhno], "DEF_INH")$$END$
 693         $END$
 694
 695 $       // inhnoがDEF_INHによって設定済みの場合（E_OBJ）
 696         $j = 0$
 697         $FOREACH inhno2 INH.ORDER_LIST$
 698                 $IF INH.INHNO[inhno] == INH.INHNO[inhno2] && j < i$
 699                         $ERROR INH.TEXT_LINE[inhno]$E_OBJ: $FORMAT(_("%1% `%2%\' in %3% is duplicated"), "inhno", INH.INHNO[inhno], "DEF_INH")$$END$
 700                 $END$
 701                 $j = j + 1$
 702         $END$
 703
 704 $       // inhatrが（TA_NULL）でない場合（E_RSATR）
 705         $IF (INH.INHATR[inhno] & ~TARGET_INHATR) != 0$
 706                 $ERROR INH.TEXT_LINE[inhno]$E_RSATR: $FORMAT(_("illegal %1% `%2%\' of %3% `%4%\' in %5%"), "inhatr", INH.INHATR[inhno], "inhno", INH.INHNO[inhno], "DEF_INH")$$END$
 707         $END$
 708
 709 $       // カーネル管理に固定されているinhnoに対して，inhatrにTA_NONKERNEL
 710 $       //　が指定されている場合（E_RSATR）
 711         $IF LENGTH(FIND(INHNO_FIX_KERNEL, inhno))$
 712                 $IF (INH.INHATR[inhno] & TA_NONKERNEL) != 0$
 713                         $ERROR INH.TEXT_LINE[inhno]$E_RSATR: $FORMAT(_("%1% `%2%\' must not be non-kernel interrupt"), "inhno", INH.INHNO[inhno])$$END$
 714                 $END$
 715         $END$
 716
 717 $       // カーネル管理外に固定されているinhnoに対して，inhatrにTA_NONKERNEL
 718 $       // が指定されていない場合（E_RSATR）
 719         $IF LENGTH(FIND(INHNO_FIX_NONKERNEL, inhno))$
 720                 $IF (INH.INHATR[inhno] & TA_NONKERNEL) == 0$
 721                         $ERROR INH.TEXT_LINE[inhno]$E_RSATR: $FORMAT(_("%1% `%2%\' must be non-kernel interrupt"), "inhno", INH.INHNO[inhno])$$END$
 722                 $END$
 723         $END$
 724
 725         $IF LENGTH(INTNO[INH.INHNO[inhno]])$
 726                 $intno = INTNO[INH.INHNO[inhno]]$
 727 $               // inhnoに対応するintnoに対するCFG_INTがない場合（E_OBJ）
 728                 $IF !LENGTH(INT.INTNO[intno])$
 729                         $ERROR INH.TEXT_LINE[inhno]$E_OBJ: $FORMAT(_("%1% `%2%\' corresponding to %3% `%4%\' is not configured with %5%"), "intno", INT.INTNO[intno], "inhno", INH.INHNO[inhno], "CFG_INT")$$END$
 730                 $ELSE$
 731                         $IF (INH.INHATR[inhno] & TA_NONKERNEL) == 0$
 732 $                               // inhatrにTA_NONKERNELが指定されておらず，inhnoに対応
 733 $                               // するintnoに対してCFG_INTで設定された割込み優先度が
 734 $                               // TMIN_INTPRIよりも小さい場合（E_OBJ）
 735                                 $IF INT.INTPRI[intno] < TMIN_INTPRI$
 736                                         $ERROR INT.TEXT_LINE[intno]$E_OBJ: $FORMAT(_("%1% `%2%\' configured for %3% `%4%\' is higher than %5%"), "intpri", INT.INTPRI[intno], "inhno", INH.INHNO[inhno], "TMIN_INTPRI")$$END$
 737                                 $END$
 738                         $ELSE$
 739 $                               // inhatrにTA_NONKERNELが指定されており，inhnoに対応
 740 $                               // するintnoに対してCFG_INTで設定された割込み優先度が
 741 $                               // TMIN_INTPRI以上である場合（E_OBJ）
 742                                 $IF INT.INTPRI[intno] >= TMIN_INTPRI$
 743                                         $ERROR INT.TEXT_LINE[intno]$E_OBJ: $FORMAT(_("%1% `%2%\' configured for %3% `%4%\' is lower than or equal to %5%"), "intpri", INT.INTPRI[intno], "inhno", INH.INHNO[inhno], "TMIN_INTPRI")$$END$
 744                                 $END$
 745                         $END$
 746                 $END$
 747         $END$
 748         $i = i + 1$
 749 $END$
 750
 751 $ 割込みサービスルーチン（ISR）に関するエラーチェックと割込みハンドラの生成
 752 $FOREACH order ISR.ORDER_LIST$
 753 $       // isratrが（TA_NULL）でない場合（E_RSATR）
 754         $IF (ISR.ISRATR[order] & ~TARGET_ISRATR) != 0$
 755                 $ERROR ISR.TEXT_LINE[order]$E_RSATR: $FORMAT(_("illegal %1% `%2%\' in %3%"), "isratr", ISR.ISRATR[order], "ATT_ISR")$$END$
 756         $END$
 757
 758 $       // intnoがATT_ISRに対する割込み番号として正しくない場合（E_PAR）
 759         $IF !LENGTH(FIND(INTNO_ATTISR_VALID, ISR.INTNO[order]))$
 760                 $ERROR ISR.TEXT_LINE[order]$E_PAR: $FORMAT(_("illegal %1% `%2%\' in %3%"), "intno", ISR.INTNO[order], "ATT_ISR")$$END$
 761         $END$
 762
 763 $       // (TMIN_ISRPRI <= isrpri && isrpri <= TMAX_ISRPRI)でない場合（E_PAR）
 764         $IF !(TMIN_ISRPRI <= ISR.ISRPRI[order] && ISR.ISRPRI[order] <= TMAX_ISRPRI)$
 765                 $ERROR ISR.TEXT_LINE[order]$E_PAR: $FORMAT(_("illegal %1% `%2%\' in %3%"), "isrpri", ISR.ISRPRI[order], "ATT_ISR")$$END$
 766         $END$
 767 $END$
 768
 769 $FOREACH intno INTNO_ATTISR_VALID$
 770         $inhno = INHNO[intno]$
 771
 772 $       // 割込み番号intnoに対して登録されたISRのリストの作成
 773         $isr_order_list = {}$
 774         $FOREACH order ISR.ORDER_LIST$
 775                 $IF ISR.INTNO[order] == intno$
 776                         $isr_order_list = APPEND(isr_order_list, order)$
 777                         $order_for_error = order$
 778                 $END$
 779         $END$
 780
 781 $       // 割込み番号intnoに対して登録されたISRが存在する場合
 782         $IF LENGTH(isr_order_list) > 0$
 783 $               // intnoに対応するinhnoに対してDEF_INHがある場合（E_OBJ）
 784                 $IF LENGTH(INH.INHNO[inhno])$
 785                         $ERROR ISR.TEXT_LINE[order_for_error]$E_OBJ: $FORMAT(_("%1% `%2%\' in %3% is duplicated with %4% `%5%\'"), "intno", ISR.INTNO[order_for_error], "ATT_ISR", "inhno", INH.INHNO[inhno])$$END$
 786                 $END$
 787
 788 $               // intnoに対するCFG_INTがない場合（E_OBJ）
 789                 $IF !LENGTH(INT.INTNO[intno])$
 790                         $ERROR ISR.TEXT_LINE[order_for_error]$E_OBJ: $FORMAT(_("%1% `%2%\' is not configured with %3%"), "intno", ISR.INTNO[order_for_error], "CFG_INT")$$END$
 791                 $ELSE$
 792 $                       // intnoに対してCFG_INTで設定された割込み優先度がTMIN_INTPRI
 793 $                       // よりも小さい場合（E_OBJ）
 794                         $IF INT.INTPRI[intno] < TMIN_INTPRI$
 795                                 $ERROR INT.TEXT_LINE[intno]$E_OBJ: $FORMAT(_("%1% `%2%\' configured for %3% `%4%\' is higher than %5%"), "intpri", INT.INTPRI[intno], "intno", ISR.INTNO[order_for_error], "TMIN_INTPRI")$$END$
 796                         $END$
 797                 $END$
 798
 799 $               // DEF_INH(inhno, { TA_NULL, _kernel_inthdr_<intno> } );
 800                 $INH.INHNO[inhno] = inhno$
 801                 $INH.INHATR[inhno] = VALUE("TA_NULL", 0)$
 802                 $INH.INTHDR[inhno] = CONCAT("_kernel_inthdr_", intno)$
 803                 $INH.ORDER_LIST = APPEND(INH.ORDER_LIST, inhno)$
 804
 805 $               // ISR用の割込みハンドラ
 806                 void$NL$
 807                 _kernel_inthdr_$intno$(void)$NL$
 808                 {$NL$
 809                 $IF LENGTH(isr_order_list) > 1$
 810                         $TAB$PRI        saved_ipm;$NL$
 811                         $NL$
 812                         $TAB$i_begin_int($intno$);$NL$
 813                         $TAB$saved_ipm = i_get_ipm();$NL$
 814                 $ELSE$
 815                         $TAB$i_begin_int($intno$);$NL$
 816                 $END$
 817 $               // ISRを優先度順に呼び出す
 818                 $JOINEACH order SORT(isr_order_list, "ISR.ISRPRI") "\tif (i_sense_lock()) {\n\t\ti_unlock_cpu();\n\t}\n\ti_set_ipm(saved_ipm);\n"$
 819                         $TAB$LOG_ISR_ENTER($intno$);$NL$
 820                         $TAB$((ISR)($ISR.ISR[order]$))((intptr_t)($ISR.EXINF[order]$));$NL$
 821                         $TAB$LOG_ISR_LEAVE($intno$);$NL$
 822                 $END$
 823                 $TAB$i_end_int($intno$);$NL$
 824                 }$NL$
 825         $END$
 826 $END$
 827 $NL$
 828
 829 $
 830 $  割込み管理機能のための標準的な初期化情報の生成
 831 $
 832 $ 割込みハンドラの初期化に必要な情報
 833 $IF !OMIT_INITIALIZE_INTERRUPT || ALT(USE_INHINIB_TABLE,0)$
 834
 835 $ 割込みハンドラ数
 836 #define TNUM_INHNO      $LENGTH(INH.ORDER_LIST)$$NL$
 837 const uint_t _kernel_tnum_inhno = TNUM_INHNO;$NL$
 838 $NL$
 839 $FOREACH inhno INH.ORDER_LIST$
 840         $IF (INH.INHATR[inhno] & TA_NONKERNEL) == 0$
 841                 INTHDR_ENTRY($INH.INHNO[inhno]$, $+INH.INHNO[inhno]$, $INH.INTHDR[inhno]$)$NL$
 842         $END$
 843 $END$
 844 $NL$
 845
 846 $ 割込みハンドラ初期化テーブル
 847 $IF LENGTH(INH.ORDER_LIST)$
 848         const INHINIB _kernel_inhinib_table[TNUM_INHNO] = {$NL$
 849         $JOINEACH inhno INH.ORDER_LIST ",\n"$
 850                 $IF (INH.INHATR[inhno] & TA_NONKERNEL) == 0$
 851                         $TAB${ ($INH.INHNO[inhno]$), ($INH.INHATR[inhno]$), (FP)(INT_ENTRY($INH.INHNO[inhno]$, $INH.INTHDR[inhno]$)) }
 852                 $ELSE$
 853                         $TAB${ ($INH.INHNO[inhno]$), ($INH.INHATR[inhno]$), (FP)($INH.INTHDR[inhno]$) }
 854                 $END$
 855         $END$$NL$
 856         };$NL$
 857 $ELSE$
 858         TOPPERS_EMPTY_LABEL(const INHINIB, _kernel_inhinib_table);$NL$
 859 $END$$NL$
 860 $END$
 861
 862 $ 割込み要求ラインの初期化に必要な情報
 863 $IF !OMIT_INITIALIZE_INTERRUPT || ALT(USE_INHINTB_TABLE,0)$
 864
 865 $ 割込み要求ライン数
 866 #define TNUM_INTNO      $LENGTH(INT.ORDER_LIST)$$NL$
 867 const uint_t _kernel_tnum_intno = TNUM_INTNO;$NL$
 868 $NL$
 869
 870 $ 割込み要求ライン初期化テーブル
 871 $IF LENGTH(INT.ORDER_LIST)$
 872         const INTINIB _kernel_intinib_table[TNUM_INTNO] = {$NL$
 873         $JOINEACH intno INT.ORDER_LIST ",\n"$
 874                 $TAB${ ($INT.INTNO[intno]$), ($INT.INTATR[intno]$), ($INT.INTPRI[intno]$) }
 875         $END$$NL$
 876         };$NL$
 877 $ELSE$
 878         TOPPERS_EMPTY_LABEL(const INTINIB, _kernel_intinib_table);$NL$
 879 $END$$NL$
 880 $END$
 881
 882 $
 883 $  CPU例外管理機能
 884 $
 885 /*$NL$
 886 $SPC$*  CPU Exception Management Functions$NL$
 887 $SPC$*/$NL$
 888 $NL$
 889
 890 $ CPU例外ハンドラに関するエラーチェック
 891 $i = 0$
 892 $FOREACH excno EXC.ORDER_LIST$
 893 $       // excnoがDEF_EXCに対するCPU例外ハンドラ番号として正しくない場合（E_PAR）
 894         $IF !LENGTH(FIND(EXCNO_DEFEXC_VALID, EXC.EXCNO[excno]))$
 895                 $ERROR EXC.TEXT_LINE[excno]$E_PAR: $FORMAT(_("illegal %1% `%2%\' in %3%"), "excno", EXC.EXCNO[excno], "DEF_EXC")$$END$
 896         $END$
 897
 898 $       // excnoがDEF_EXCによって設定済みの場合（E_OBJ）
 899         $j = 0$
 900         $FOREACH excno2 EXC.ORDER_LIST$
 901                 $IF EXC.EXCNO[excno] == EXC.EXCNO[excno2] && j < i$
 902                         $ERROR EXC.TEXT_LINE[excno]$E_OBJ: $FORMAT(_("%1% `%2%\' in %3% is duplicated"), "excno", EXC.EXCNO[excno], "DEF_EXC")$$END$
 903                 $END$
 904                 $j = j + 1$
 905         $END$
 906
 907 $       // excatrが（TA_NULL）でない場合（E_RSATR）
 908         $IF (EXC.EXCATR[excno] & ~TARGET_EXCATR) != 0$
 909                 $ERROR EXC.TEXT_LINE[excno]$E_RSATR: $FORMAT(_("illegal %1% `%2%\' of %3% `%4%\' in %5%"), "excatr", EXC.EXCATR[excno], "excno", EXC.EXCNO[excno], "DEF_EXC")$$END$
 910         $END$
 911         $i = i + 1$
 912 $END$
 913
 914 $ CPU例外ハンドラのための標準的な初期化情報の生成
 915 $IF !OMIT_INITIALIZE_EXCEPTION$
 916
 917 $ CPU例外ハンドラ数
 918 #define TNUM_EXCNO      $LENGTH(EXC.ORDER_LIST)$$NL$
 919 const uint_t _kernel_tnum_excno = TNUM_EXCNO;$NL$
 920 $NL$
 921 $FOREACH excno EXC.ORDER_LIST$
 922         EXCHDR_ENTRY($EXC.EXCNO[excno]$, $+EXC.EXCNO[excno]$, $EXC.EXCHDR[excno]$)$NL$
 923 $END$
 924 $NL$
 925
 926 $ CPU例外ハンドラ初期化テーブル
 927 $IF LENGTH(EXC.ORDER_LIST)$
 928         const EXCINIB _kernel_excinib_table[TNUM_EXCNO] = {$NL$
 929         $JOINEACH excno EXC.ORDER_LIST ",\n"$
 930                 $TAB${ ($EXC.EXCNO[excno]$), ($EXC.EXCATR[excno]$), (FP)(EXC_ENTRY($EXC.EXCNO[excno]$, $EXC.EXCHDR[excno]$)) }
 931         $END$$NL$
 932         };$NL$
 933 $ELSE$
 934         TOPPERS_EMPTY_LABEL(const EXCINIB, _kernel_excinib_table);$NL$
 935 $END$$NL$
 936 $END$
 937
 938 $
 939 $  非タスクコンテキスト用のスタック領域
 940 $
 941 /*$NL$
 942 $SPC$*  Stack Area for Non-task Context$NL$
 943 $SPC$*/$NL$
 944 $NL$
 945
 946 $IF !LENGTH(ICS.ORDER_LIST)$
 947 $       // DEF_ICSがない場合のデフォルト値の設定
 948         #ifdef DEFAULT_ISTK$NL$
 949         $NL$
 950         #define TOPPERS_ISTKSZ          DEFAULT_ISTKSZ$NL$
 951         #define TOPPERS_ISTK            DEFAULT_ISTK$NL$
 952         $NL$
 953         #else /* DEAULT_ISTK */$NL$
 954         $NL$
 955         static STK_T                            _kernel_istack[COUNT_STK_T(DEFAULT_ISTKSZ)];$NL$
 956         #define TOPPERS_ISTKSZ          ROUND_STK_T(DEFAULT_ISTKSZ)$NL$
 957         #define TOPPERS_ISTK            _kernel_istack$NL$
 958         $NL$
 959         #endif /* DEAULT_ISTK */$NL$
 960 $ELSE$
 961
 962 $       // 静的API「DEF_ICS」が複数ある（E_OBJ）
 963         $IF LENGTH(ICS.ORDER_LIST) > 1$
 964                 $ERROR$E_OBJ: $FORMAT(_("too many %1%"), "DEF_ICS")$$END$
 965         $END$
 966
 967 $       // istkszがスタック領域のサイズとして正しくない場合（E_PAR）
 968         $IF !EQ(ICS.ISTK[1], "NULL") && CHECK_STKSZ_ALIGN
 969                                                         && (ICS.ISTKSZ[1] & (CHECK_STKSZ_ALIGN - 1))$
 970                 $ERROR ICS.TEXT_LINE[1]$E_PAR: $FORMAT(_("%1% `%2%\' in %3% is not aligned"), "istksz", ICS.ISTKSZ[1], "DEF_ICS")$$END$
 971         $END$
 972
 973         $IF EQ(ICS.ISTK[1], "NULL")$
 974 $               // スタック領域の自動割付け
 975                 static STK_T                            _kernel_istack[COUNT_STK_T($ICS.ISTKSZ[1]$)];$NL$
 976                 #define TOPPERS_ISTKSZ          ROUND_STK_T($ICS.ISTKSZ[1]$)$NL$
 977                 #define TOPPERS_ISTK            _kernel_istack$NL$
 978         $ELSE$
 979                 #define TOPPERS_ISTKSZ          ($ICS.ISTKSZ[1]$)$NL$
 980                 #define TOPPERS_ISTK            ($ICS.ISTK[1]$)$NL$
 981         $END$
 982 $END$
 983 $NL$
 984
 985 $ 非タスクコンテキスト用のスタック領域
 986 const SIZE              _kernel_istksz = TOPPERS_ISTKSZ;$NL$
 987 STK_T *const    _kernel_istk = TOPPERS_ISTK;$NL$
 988 $NL$
 989 #ifdef TOPPERS_ISTKPT$NL$
 990 STK_T *const    _kernel_istkpt = TOPPERS_ISTKPT(TOPPERS_ISTK, TOPPERS_ISTKSZ);$NL$
 991 #endif /* TOPPERS_ISTKPT */$NL$
 992 $NL$
 993
 994 $
 995 $  タイムイベント管理
 996 $
 997 /*$NL$
 998 $SPC$*  Time Event Management$NL$
 999 $SPC$*/$NL$
1000 $NL$
1001 TMEVTN   _kernel_tmevt_heap[TNUM_TSKID + TNUM_CYCID + TNUM_ALMID];$NL$
1002 $NL$
1003
1004 $
1005 $  各モジュールの初期化関数
1006 $
1007 /*$NL$
1008 $SPC$*  Module Initialization Function$NL$
1009 $SPC$*/$NL$
1010 $NL$
1011 void$NL$
1012 _kernel_initialize_object(void)$NL$
1013 {$NL$
1014 $TAB$_kernel_initialize_task();$NL$
1015 $IF LENGTH(SEM.ID_LIST)$        _kernel_initialize_semaphore();$NL$$END$
1016 $IF LENGTH(FLG.ID_LIST)$        _kernel_initialize_eventflag();$NL$$END$
1017 $IF LENGTH(DTQ.ID_LIST)$        _kernel_initialize_dataqueue();$NL$$END$
1018 $IF LENGTH(PDQ.ID_LIST)$        _kernel_initialize_pridataq();$NL$$END$
1019 $IF LENGTH(MBX.ID_LIST)$        _kernel_initialize_mailbox();$NL$$END$
1020 $IF LENGTH(MPF.ID_LIST)$        _kernel_initialize_mempfix();$NL$$END$
1021 $IF LENGTH(CYC.ID_LIST)$        _kernel_initialize_cyclic();$NL$$END$
1022 $IF LENGTH(ALM.ID_LIST)$        _kernel_initialize_alarm();$NL$$END$
1023 $TAB$_kernel_initialize_interrupt();$NL$
1024 $TAB$_kernel_initialize_exception();$NL$
1025 }$NL$
1026 $NL$
1027
1028 $
1029 $  初期化ルーチンの実行関数
1030 $
1031 /*$NL$
1032 $SPC$*  Initialization Routine$NL$
1033 $SPC$*/$NL$
1034 $NL$
1035 void$NL$
1036 _kernel_call_inirtn(void)$NL$
1037 {$NL$
1038 $FOREACH order INI.ORDER_LIST$
1039 $       // iniatrが（TA_NULL）でない場合（E_RSATR）
1040         $IF INI.INIATR[order] != 0$
1041                 $ERROR INI.TEXT_LINE[order]$E_RSATR: $FORMAT(_("illegal %1% `%2%\' of %3% `%4%\' in %5%"), "iniatr", INI.INIATR[order], "inirtn", INI.INIRTN[order], "ATT_INI")$$END$
1042         $END$
1043         $TAB$((INIRTN)($INI.INIRTN[order]$))((intptr_t)($INI.EXINF[order]$));$NL$
1044 $END$
1045 }$NL$
1046 $NL$
1047
1048 $
1049 $  終了処理ルーチンの実行関数
1050 $
1051 /*$NL$
1052 $SPC$*  Termination Routine$NL$
1053 $SPC$*/$NL$
1054 $NL$
1055 void$NL$
1056 _kernel_call_terrtn(void)$NL$
1057 {$NL$
1058 $FOREACH rorder TER.RORDER_LIST$
1059 $       // teratrが（TA_NULL）でない場合（E_RSATR）
1060         $IF TER.TERATR[rorder] != 0$
1061                 $ERROR TER.TEXT_LINE[rorder]$E_RSATR: $FORMAT(_("illegal %1% `%2%\' of %3% `%4%\' in %5%"), "teratr", TER.TERATR[rorder], "terrtn", TER.TERRTN[rorder], "ATT_TER")$$END$
1062         $END$
1063         $TAB$((TERRTN)($TER.TERRTN[rorder]$))((intptr_t)($TER.EXINF[rorder]$));$NL$
1064 $END$
1065 }$NL$
1066 $NL$