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-2010 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 1845 2010-07-11 13:02:57Z 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|ALT(TARGET_TSKATR,0))) != 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 || (LENGTH(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") && LENGTH(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$($TSK.TASK[tskid]$), INT_PRIORITY($TSK.ITSKPRI[tskid]$),
 240
 241 $       // タスク初期化コンテキストブロック，スタック領域
 242         $IF ALT(USE_TSKINICTXB,0)$
 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$
 307 $NL$
 308
 309 $
 310 $  イベントフラグ
 311 $
 312 /*$NL$
 313 $SPC$*  Eventflag Functions$NL$
 314 $SPC$*/$NL$
 315 $NL$
 316
 317 $ イベントフラグID番号の最大値
 318 const ID _kernel_tmax_flgid = (TMIN_FLGID + TNUM_FLGID - 1);$NL$
 319 $NL$
 320
 321 $ イベントフラグ初期化ブロックの生成
 322 $IF LENGTH(FLG.ID_LIST)$
 323         const FLGINIB _kernel_flginib_table[TNUM_FLGID] = {$NL$
 324         $JOINEACH flgid FLG.ID_LIST ",\n"$
 325 $               // flgatrが（［TA_TPRI］｜［TA_WMUL］｜［TA_CLR］）でない場合（E_RSATR）
 326                 $IF (FLG.FLGATR[flgid] & ~(TA_TPRI|TA_WMUL|TA_CLR)) != 0$
 327                         $ERROR FLG.TEXT_LINE[flgid]$E_RSATR: $FORMAT(_("illegal %1% `%2%\' of `%3%\' in %4%"), "flgatr", FLG.FLGATR[flgid], flgid, "CRE_FLG")$$END$
 328                 $END$
 329
 330 $               // イベントフラグ初期化ブロック
 331                 $TAB${ ($FLG.FLGATR[flgid]$), ($FLG.IFLGPTN[flgid]$) }
 332         $END$$NL$
 333         };$NL$
 334         $NL$
 335
 336 $       // イベントフラグコントロールブロック
 337         FLGCB _kernel_flgcb_table[TNUM_FLGID];$NL$
 338 $ELSE$
 339         TOPPERS_EMPTY_LABEL(const FLGINIB, _kernel_flginib_table);$NL$
 340         TOPPERS_EMPTY_LABEL(FLGCB, _kernel_flgcb_table);$NL$
 341 $END$
 342 $NL$
 343
 344 $
 345 $  データキュー
 346 $
 347 /*$NL$
 348 $SPC$*  Dataqueue Functions$NL$
 349 $SPC$*/$NL$
 350 $NL$
 351
 352 $ データキューID番号の最大値
 353 const ID _kernel_tmax_dtqid = (TMIN_DTQID + TNUM_DTQID - 1);$NL$
 354 $NL$
 355
 356 $IF LENGTH(DTQ.ID_LIST)$
 357         $FOREACH dtqid DTQ.ID_LIST$
 358 $               // dtqatrが（［TA_TPRI］）でない場合（E_RSATR）
 359                 $IF (DTQ.DTQATR[dtqid] & ~TA_TPRI) != 0$
 360                         $ERROR DTQ.TEXT_LINE[dtqid]$E_RSATR: $FORMAT(_("illegal %1% `%2%\' of `%3%\' in %4%"), "dtqatr", DTQ.DTQATR[dtqid], dtqid, "CRE_DTQ")$$END$
 361                 $END$
 362
 363 $               // dtqmbがNULLでない場合（E_NOSPT）
 364                 $IF !EQ(DTQ.DTQMB[dtqid], "NULL")$
 365                         $ERROR DTQ.TEXT_LINE[dtqid]$E_NOSPT: $FORMAT(_("illegal %1% `%2%\' of `%3%\' in %4%"), "dtqmb", DTQ.DTQMB[dtqid], dtqid, "CRE_DTQ")$$END$
 366                 $END$
 367
 368 $               // データキュー領域
 369                 $IF DTQ.DTQCNT[dtqid]$
 370                         static intptr_t _kernel_dtqmb_$dtqid$[$DTQ.DTQCNT[dtqid]$];$NL$
 371                 $END$
 372         $END$
 373
 374 $       // データキュー初期化ブロックの生成
 375         const DTQINIB _kernel_dtqinib_table[TNUM_DTQID] = {$NL$
 376         $JOINEACH dtqid DTQ.ID_LIST ",\n"$
 377                 $TAB${ ($DTQ.DTQATR[dtqid]$), ($DTQ.DTQCNT[dtqid]$), $IF DTQ.DTQCNT[dtqid]$(_kernel_dtqmb_$dtqid$)$ELSE$NULL$END$ }
 378         $END$$NL$
 379         };$NL$
 380         $NL$
 381
 382 $       // データキューコントロールブロック
 383         DTQCB _kernel_dtqcb_table[TNUM_DTQID];$NL$
 384 $ELSE$
 385         TOPPERS_EMPTY_LABEL(const DTQINIB, _kernel_dtqinib_table);$NL$
 386         TOPPERS_EMPTY_LABEL(DTQCB, _kernel_dtqcb_table);$NL$
 387 $END$
 388 $NL$
 389
 390 $
 391 $  優先度データキュー
 392 $
 393 /*$NL$
 394 $SPC$*  Priority Dataqueue Functions$NL$
 395 $SPC$*/$NL$
 396 $NL$
 397
 398 $ 優先度データキューID番号の最大値
 399 const ID _kernel_tmax_pdqid = (TMIN_PDQID + TNUM_PDQID - 1);$NL$
 400 $NL$
 401
 402 $IF LENGTH(PDQ.ID_LIST)$
 403         $FOREACH pdqid PDQ.ID_LIST$
 404 $               // pdqatrが（［TA_TPRI］）でない場合（E_RSATR）
 405                 $IF (PDQ.PDQATR[pdqid] & ~TA_TPRI) != 0$
 406                         $ERROR PDQ.TEXT_LINE[pdqid]$E_RSATR: $FORMAT(_("illegal %1% `%2%\' of `%3%\' in %4%"), "pdqatr", PDQ.PDQATR[pdqid], pdqid, "CRE_PDQ")$$END$
 407                 $END$
 408
 409 $               // (TMIN_DPRI <= maxdpri && maxdpri <= TMAX_DPRI)でない場合（E_PAR）
 410                 $IF !(TMIN_DPRI <= PDQ.MAXDPRI[pdqid] && PDQ.MAXDPRI[pdqid] <= TMAX_DPRI)$
 411                         $ERROR PDQ.TEXT_LINE[pdqid]$E_PAR: $FORMAT(_("illegal %1% `%2%\' of `%3%\' in %4%"), "maxdpri", PDQ.MAXDPRI[pdqid], pdqid, "CRE_PDQ")$$END$
 412                 $END$
 413
 414 $               // pdqmbがNULLでない場合（E_NOSPT）
 415                 $IF !EQ(PDQ.PDQMB[pdqid], "NULL")$
 416                         $ERROR PDQ.TEXT_LINE[pdqid]$E_NOSPT: $FORMAT(_("illegal %1% `%2%\' of `%3%\' in %4%"), "pdqmb", PDQ.PDQMB[pdqid], pdqid, "CRE_PDQ")$$END$
 417                 $END$
 418
 419 $               // 優先度データキュー領域
 420                 $IF PDQ.PDQCNT[pdqid]$
 421                         static PDQMB _kernel_pdqmb_$pdqid$[$PDQ.PDQCNT[pdqid]$];$NL$
 422                 $END$
 423         $END$
 424
 425 $       // 優先度データキュー初期化ブロックの生成
 426         const PDQINIB _kernel_pdqinib_table[TNUM_PDQID] = {$NL$
 427         $JOINEACH pdqid PDQ.ID_LIST ",\n"$
 428                 $TAB${ ($PDQ.PDQATR[pdqid]$), ($PDQ.PDQCNT[pdqid]$), ($PDQ.MAXDPRI[pdqid]$), $IF PDQ.PDQCNT[pdqid]$(_kernel_pdqmb_$pdqid$)$ELSE$NULL$END$ }
 429         $END$$NL$
 430         };$NL$
 431         $NL$
 432
 433 $       // 優先度データキューコントロールブロック
 434         PDQCB _kernel_pdqcb_table[TNUM_PDQID];$NL$
 435 $ELSE$
 436         TOPPERS_EMPTY_LABEL(const PDQINIB, _kernel_pdqinib_table);$NL$
 437         TOPPERS_EMPTY_LABEL(PDQCB, _kernel_pdqcb_table);$NL$
 438 $END$
 439 $NL$
 440
 441 $
 442 $  メールボックス
 443 $
 444 /*$NL$
 445 $SPC$*  Mailbox Functions$NL$
 446 $SPC$*/$NL$
 447 $NL$
 448
 449 $ メールボックスID番号の最大値
 450 const ID _kernel_tmax_mbxid = (TMIN_MBXID + TNUM_MBXID - 1);$NL$
 451 $NL$
 452
 453 $ メールボックス初期化ブロックの生成
 454 $IF LENGTH(MBX.ID_LIST)$
 455         const MBXINIB _kernel_mbxinib_table[TNUM_MBXID] = {$NL$
 456         $JOINEACH mbxid MBX.ID_LIST ",\n"$
 457 $               // mbxatrが（［TA_TPRI］｜［TA_MPRI］）でない場合（E_RSATR）
 458                 $IF (MBX.MBXATR[mbxid] & ~(TA_TPRI|TA_MPRI)) != 0$
 459                         $ERROR MBX.TEXT_LINE[mbxid]$E_RSATR: $FORMAT(_("illegal %1% `%2%\' of `%3%\' in %4%"), "mbxatr", MBX.MBXATR[mbxid], mbxid, "CRE_MBX")$$END$
 460                 $END$
 461
 462 $               // (TMIN_MPRI <= maxmpri && maxmpri <= TMAX_MPRI)でない場合（E_PAR）
 463                 $IF !(TMIN_MPRI <= MBX.MAXMPRI[mbxid] && MBX.MAXMPRI[mbxid] <= TMAX_MPRI)$
 464                         $ERROR MBX.TEXT_LINE[mbxid]$E_PAR: $FORMAT(_("illegal %1% `%2%\' of `%3%\' in %4%"), "maxmpri", MBX.MAXMPRI[mbxid], mbxid, "CRE_MBX")$$END$
 465                 $END$
 466
 467 $               // mprihdがNULLでない場合（E_NOSPT）
 468                 $IF !EQ(MBX.MPRIHD[mbxid], "NULL")$
 469                         $ERROR MBX.TEXT_LINE[mbxid]$E_NOSPT: $FORMAT(_("illegal %1% `%2%\' of `%3%\' in %4%"), "mprihd", MBX.MPRIHD[mbxid], mbxid, "CRE_MBX")$$END$
 470                 $END$
 471
 472 $               // メールボックス初期化ブロック
 473                 $TAB${ ($MBX.MBXATR[mbxid]$), ($MBX.MAXMPRI[mbxid]$) }
 474         $END$$NL$
 475         };$NL$
 476         $NL$
 477
 478 $       // メールボックスコントロールブロック
 479         MBXCB _kernel_mbxcb_table[TNUM_MBXID];$NL$
 480 $ELSE$
 481         TOPPERS_EMPTY_LABEL(const MBXINIB, _kernel_mbxinib_table);$NL$
 482         TOPPERS_EMPTY_LABEL(MBXCB, _kernel_mbxcb_table);$NL$
 483 $END$
 484 $NL$
 485
 486 $
 487 $  固定長メモリプール
 488 $
 489 /*$NL$
 490 $SPC$*  Fixed-sized Memorypool Functions$NL$
 491 $SPC$*/$NL$
 492 $NL$
 493
 494 $ 固定長メモリプールID番号の最大値
 495 const ID _kernel_tmax_mpfid = (TMIN_MPFID + TNUM_MPFID - 1);$NL$
 496 $NL$
 497
 498 $IF LENGTH(MPF.ID_LIST)$
 499         $FOREACH mpfid MPF.ID_LIST$
 500 $               // mpfatrが（［TA_TPRI］）でない場合（E_RSATR）
 501                 $IF (MPF.MPFATR[mpfid] & ~TA_TPRI) != 0$
 502                         $ERROR MPF.TEXT_LINE[mpfid]$E_RSATR: $FORMAT(_("illegal %1% `%2%\' of `%3%\' in %4%"), "mpfatr", MPF.MPFATR[mpfid], mpfid, "CRE_MPF")$$END$
 503                 $END$
 504
 505 $               // blkcntが0の場合（E_PAR）
 506                 $IF MPF.BLKCNT[mpfid] == 0$
 507                         $ERROR MPF.TEXT_LINE[mpfid]$E_PAR: $FORMAT(_("illegal %1% `%2%\' of `%3%\' in %4%"), "blkcnt", MPF.BLKCNT[mpfid], mpfid, "CRE_MPF")$$END$
 508                 $END$
 509
 510 $               // blkszが0の場合（E_PAR）
 511                 $IF MPF.BLKSZ[mpfid] == 0$
 512                         $ERROR MPF.TEXT_LINE[mpfid]$E_PAR: $FORMAT(_("illegal %1% `%2%\' of `%3%\' in %4%"), "blksz", MPF.BLKSZ[mpfid], mpfid, "CRE_MPF")$$END$
 513                 $END$
 514
 515 $               // 固定長メモリプール領域
 516                 $IF EQ(MPF.MPF[mpfid], "NULL")$
 517                         static MPF_T _kernel_mpf_$mpfid$[($MPF.BLKCNT[mpfid]$) * COUNT_MPF_T($MPF.BLKSZ[mpfid]$)];$NL$
 518                 $END$
 519
 520 $               // mpfmbがNULLでない場合（E_NOSPT）
 521                 $IF !EQ(MPF.MPFMB[mpfid], "NULL")$
 522                         $ERROR MPF.TEXT_LINE[mpfid]$E_NOSPT: $FORMAT(_("illegal %1% `%2%\' of `%3%\' in %4%"), "mpfmb", MPF.MPFMB[mpfid], mpfid, "CRE_MPF")$$END$
 523                 $END$
 524
 525 $               // 固定長メモリプール管理領域
 526                 static MPFMB _kernel_mpfmb_$mpfid$[$MPF.BLKCNT[mpfid]$];$NL$
 527         $END$
 528
 529 $       // 固定長メモリプール初期化ブロックの生成
 530         const MPFINIB _kernel_mpfinib_table[TNUM_MPFID] = {$NL$
 531         $JOINEACH mpfid MPF.ID_LIST ",\n"$
 532                 $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$) }
 533         $END$$NL$
 534         };$NL$
 535         $NL$
 536
 537 $       // 固定長メモリプールコントロールブロック
 538         MPFCB _kernel_mpfcb_table[TNUM_MPFID];$NL$
 539 $ELSE$
 540         TOPPERS_EMPTY_LABEL(const MPFINIB, _kernel_mpfinib_table);$NL$
 541         TOPPERS_EMPTY_LABEL(MPFCB, _kernel_mpfcb_table);$NL$
 542 $END$
 543 $NL$
 544
 545 $
 546 $  周期ハンドラ
 547 $
 548 /*$NL$
 549 $SPC$*  Cyclic Handler Functions$NL$
 550 $SPC$*/$NL$
 551 $NL$
 552
 553 $ 周期ハンドラID番号の最大値
 554 const ID _kernel_tmax_cycid = (TMIN_CYCID + TNUM_CYCID - 1);$NL$
 555 $NL$
 556
 557 $ 周期ハンドラ初期化テーブルの生成
 558 $IF LENGTH(CYC.ID_LIST)$
 559         const CYCINIB _kernel_cycinib_table[TNUM_CYCID] = {$NL$
 560         $JOINEACH cycid CYC.ID_LIST ",\n"$
 561 $               // cycatrが（［TA_STA］）でない場合（E_RSATR）
 562                 $IF (CYC.CYCATR[cycid] & ~TA_STA) != 0$
 563                         $ERROR CYC.TEXT_LINE[cycid]$E_RSATR: $FORMAT(_("illegal %1% `%2%\' of `%3%\' in %4%"), "cycatr", CYC.CYCATR[cycid], cycid, "CRE_CYC")$$END$
 564                 $END$
 565
 566 $               // (0 < cyctim && cyctim <= TMAX_RELTIM)でない場合（E_PAR）
 567                 $IF !(0 < CYC.CYCTIM[cycid] && CYC.CYCTIM[cycid] <= TMAX_RELTIM)$
 568                         $ERROR CYC.TEXT_LINE[cycid]$E_PAR: $FORMAT(_("illegal %1% `%2%\' of `%3%\' in %4%"), "cyctim", CYC.CYCTIM[cycid], cycid, "CRE_CYC")$$END$
 569                 $END$
 570
 571 $               // (0 <= cycphs && cycphs <= TMAX_RELTIM)でない場合（E_PAR）
 572                 $IF !(0 <= CYC.CYCPHS[cycid] && CYC.CYCPHS[cycid] <= TMAX_RELTIM)$
 573                         $ERROR CYC.TEXT_LINE[cycid]$E_PAR: $FORMAT(_("illegal %1% `%2%\' of `%3%\' in %4%"), "cycphs", CYC.CYCPHS[cycid], cycid, "CRE_CYC")$$END$
 574                 $END$
 575
 576 $               // 警告：cycatrにTA_STAが設定されていて，(cycphs == 0)の場合
 577                 $IF (CYC.CYCATR[cycid] & TA_STA) != 0 && CYC.CYCPHS[cycid] == 0$
 578                         $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$
 579                 $END$
 580
 581 $               // 周期ハンドラ初期化ブロック
 582                 $TAB${ ($CYC.CYCATR[cycid]$), (intptr_t)($CYC.EXINF[cycid]$), ($CYC.CYCHDR[cycid]$), ($CYC.CYCTIM[cycid]$), ($CYC.CYCPHS[cycid]$) }
 583         $END$$NL$
 584         };$NL$
 585         $NL$
 586
 587 $       // 周期ハンドラコントロールブロック
 588         CYCCB _kernel_cyccb_table[TNUM_CYCID];$NL$
 589 $ELSE$
 590         TOPPERS_EMPTY_LABEL(const CYCINIB, _kernel_cycinib_table);$NL$
 591         TOPPERS_EMPTY_LABEL(CYCCB, _kernel_cyccb_table);$NL$
 592 $END$
 593 $NL$
 594
 595 $
 596 $  アラームハンドラ
 597 $
 598 /*$NL$
 599 $SPC$*  Alarm Handler Functions$NL$
 600 $SPC$*/$NL$
 601 $NL$
 602
 603 $ アラームハンドラID番号の最大値
 604 const ID _kernel_tmax_almid = (TMIN_ALMID + TNUM_ALMID - 1);$NL$
 605 $NL$
 606
 607 $ アラームハンドラ初期化ブロックの生成
 608 $IF LENGTH(ALM.ID_LIST)$
 609         const ALMINIB _kernel_alminib_table[TNUM_ALMID] = {$NL$
 610         $JOINEACH almid ALM.ID_LIST ",\n"$
 611 $               // almatrが（TA_NULL）でない場合（E_RSATR）
 612                 $IF ALM.ALMATR[almid] != 0$
 613                         $ERROR ALM.TEXT_LINE[almid]$E_RSATR: $FORMAT(_("illegal %1% `%2%\' of `%3%\' in %4%"), "almatr", ALM.ALMATR[almid], almid, "CRE_ALM")$$END$
 614                 $END$
 615
 616 $               // アラームハンドラ初期化ブロック
 617                 $TAB${ ($ALM.ALMATR[almid]$), (intptr_t)($ALM.EXINF[almid]$), ($ALM.ALMHDR[almid]$) }
 618         $END$$NL$
 619         };$NL$
 620         $NL$
 621
 622 $       // アラームハンドラコントロールブロック
 623         ALMCB _kernel_almcb_table[TNUM_ALMID];$NL$
 624 $ELSE$
 625         TOPPERS_EMPTY_LABEL(const ALMINIB, _kernel_alminib_table);$NL$
 626         TOPPERS_EMPTY_LABEL(ALMCB, _kernel_almcb_table);$NL$
 627 $END$
 628 $NL$
 629
 630 $
 631 $  割込み管理機能
 632 $
 633 /*$NL$
 634 $SPC$*  Interrupt Management Functions$NL$
 635 $SPC$*/$NL$
 636 $NL$
 637
 638 $ 割込み番号と割込みハンドラ番号の変換テーブルの作成
 639 $IF LENGTH(INTNO_ATTISR_VALID) != LENGTH(INHNO_ATTISR_VALID)$
 640         $ERROR$length of `INTNO_ATTISR_VALID' is different from length of `INHNO_ATTISR_VALID'$END$
 641 $END$
 642 $i = 0$
 643 $FOREACH intno INTNO_ATTISR_VALID$
 644         $inhno = AT(INHNO_ATTISR_VALID, i)$
 645         $INHNO[intno] = inhno$
 646         $INTNO[inhno] = intno$
 647         $i = i + 1$
 648 $END$
 649
 650 $ 割込み要求ラインに関するエラーチェック
 651 $i = 0$
 652 $FOREACH intno INT.ORDER_LIST$
 653 $       // intnoがCFG_INTに対する割込み番号として正しくない場合（E_PAR）
 654         $IF !LENGTH(FIND(INTNO_CFGINT_VALID, INT.INTNO[intno]))$
 655                 $ERROR INT.TEXT_LINE[intno]$E_PAR: $FORMAT(_("illegal %1% `%2%\' in %3%"), "intno", INT.INTNO[intno], "CFG_INT")$$END$
 656         $END$
 657
 658 $       // intnoがCFG_INTによって設定済みの場合（E_OBJ）
 659         $j = 0$
 660         $FOREACH intno2 INT.ORDER_LIST$
 661                 $IF INT.INTNO[intno] == INT.INTNO[intno2] && j < i$
 662                         $ERROR INT.TEXT_LINE[intno]$E_OBJ: $FORMAT(_("%1% `%2%\' in %3% is duplicated"), "intno", INT.INTNO[intno], "CFG_INT")$$END$
 663                 $END$
 664                 $j = j + 1$
 665         $END$
 666
 667 $       // intatrが（［TA_ENAINT］｜［TA_EDGE］）でない場合（E_RSATR）
 668         $IF (INT.INTATR[intno] & ~(TA_ENAINT|TA_EDGE|ALT(TARGET_INTATR,0))) != 0$
 669                 $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$
 670         $END$
 671
 672 $       // intpriがCFG_INTに対する割込み優先度として正しくない場合（E_PAR）
 673         $IF !LENGTH(FIND(INTPRI_CFGINT_VALID, INT.INTPRI[intno]))$
 674                 $ERROR INT.TEXT_LINE[intno]$E_PAR: $FORMAT(_("illegal %1% `%2%\' in %3%"), "intpri", INT.INTPRI[intno], "CFG_INT")$$END$
 675         $END$
 676
 677 $       // カーネル管理に固定されているintnoに対して，intpriにTMIN_INTPRI
 678 $       // よりも小さい値が指定された場合（E_OBJ）
 679         $IF LENGTH(FIND(INTNO_FIX_KERNEL, intno))$
 680                 $IF INT.INTPRI[intno] < TMIN_INTPRI$
 681                         $ERROR INT.TEXT_LINE[intno]$E_OBJ: $FORMAT(_("%1% `%2%\' must not have higher priority than %3%"), "intno", INT.INTNO[intno], "TMIN_INTPRI")$$END$
 682                 $END$
 683         $END$
 684
 685 $       // カーネル管理外に固定されているintnoに対して，intpriにTMIN_INTPRI
 686 $       // よりも小さい値が指定されなかった場合（E_OBJ）
 687         $IF LENGTH(FIND(INTNO_FIX_NONKERNEL, intno))$
 688                 $IF INT.INTPRI[intno] >= TMIN_INTPRI$
 689                         $ERROR INT.TEXT_LINE[intno]$E_OBJ: $FORMAT(_("%1% `%2%\' must have higher priority than %3%"), "intno", INT.INTNO[intno], "TMIN_INTPRI")$$END$
 690                 $END$
 691         $END$
 692         $i = i + 1$
 693 $END$
 694
 695 $ 割込みハンドラに関するエラーチェック
 696 $i = 0$
 697 $FOREACH inhno INH.ORDER_LIST$
 698 $       // inhnoがDEF_INHに対する割込みハンドラ番号として正しくない場合（E_PAR）
 699         $IF !LENGTH(FIND(INHNO_DEFINH_VALID, INH.INHNO[inhno]))$
 700                 $ERROR INH.TEXT_LINE[inhno]$E_PAR: $FORMAT(_("illegal %1% `%2%\' in %3%"), "inhno", INH.INHNO[inhno], "DEF_INH")$$END$
 701         $END$
 702
 703 $       // inhnoがDEF_INHによって設定済みの場合（E_OBJ）
 704         $j = 0$
 705         $FOREACH inhno2 INH.ORDER_LIST$
 706                 $IF INH.INHNO[inhno] == INH.INHNO[inhno2] && j < i$
 707                         $ERROR INH.TEXT_LINE[inhno]$E_OBJ: $FORMAT(_("%1% `%2%\' in %3% is duplicated"), "inhno", INH.INHNO[inhno], "DEF_INH")$$END$
 708                 $END$
 709                 $j = j + 1$
 710         $END$
 711
 712 $       // inhatrが（TA_NULL）でない場合（E_RSATR）
 713         $IF (INH.INHATR[inhno] & ~ALT(TARGET_INHATR,0)) != 0$
 714                 $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$
 715         $END$
 716
 717 $       // カーネル管理に固定されているinhnoに対して，inhatrにTA_NONKERNEL
 718 $       //　が指定されている場合（E_RSATR）
 719         $IF LENGTH(FIND(INHNO_FIX_KERNEL, inhno))$
 720                 $IF (INH.INHATR[inhno] & TA_NONKERNEL) != 0$
 721                         $ERROR INH.TEXT_LINE[inhno]$E_RSATR: $FORMAT(_("%1% `%2%\' must not be non-kernel interrupt"), "inhno", INH.INHNO[inhno])$$END$
 722                 $END$
 723         $END$
 724
 725 $       // カーネル管理外に固定されているinhnoに対して，inhatrにTA_NONKERNEL
 726 $       // が指定されていない場合（E_RSATR）
 727         $IF LENGTH(FIND(INHNO_FIX_NONKERNEL, inhno))$
 728                 $IF (INH.INHATR[inhno] & TA_NONKERNEL) == 0$
 729                         $ERROR INH.TEXT_LINE[inhno]$E_RSATR: $FORMAT(_("%1% `%2%\' must be non-kernel interrupt"), "inhno", INH.INHNO[inhno])$$END$
 730                 $END$
 731         $END$
 732
 733         $IF LENGTH(INTNO[INH.INHNO[inhno]])$
 734                 $intno = INTNO[INH.INHNO[inhno]]$
 735                 $IF LENGTH(FIND(INTNO_CFGINT_VALID, intno))$
 736 $                       // inhnoに対応するintnoに対するCFG_INTがない場合（E_OBJ）
 737                         $IF !LENGTH(INT.INTNO[intno])$
 738                                 $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$
 739                         $ELSE$
 740                                 $IF (INH.INHATR[inhno] & TA_NONKERNEL) == 0$
 741 $                                       // inhatrにTA_NONKERNELが指定されておらず，inhnoに対応
 742 $                                       // するintnoに対してCFG_INTで設定された割込み優先度が
 743 $                                       // TMIN_INTPRIよりも小さい場合（E_OBJ）
 744                                         $IF INT.INTPRI[intno] < TMIN_INTPRI$
 745                                                 $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$
 746                                         $END$
 747                                 $ELSE$
 748 $                                       // inhatrにTA_NONKERNELが指定されており，inhnoに対応
 749 $                                       // するintnoに対してCFG_INTで設定された割込み優先度が
 750 $                                       // TMIN_INTPRI以上である場合（E_OBJ）
 751                                         $IF INT.INTPRI[intno] >= TMIN_INTPRI$
 752                                                 $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$
 753                                         $END$
 754                                 $END$
 755                         $END$
 756                 $END$
 757         $END$
 758         $i = i + 1$
 759 $END$
 760
 761 $ 割込みサービスルーチン（ISR）に関するエラーチェックと割込みハンドラの生成
 762 $FOREACH order ISR.ORDER_LIST$
 763 $       // isratrが（TA_NULL）でない場合（E_RSATR）
 764         $IF (ISR.ISRATR[order] & ~ALT(TARGET_ISRATR,0)) != 0$
 765                 $ERROR ISR.TEXT_LINE[order]$E_RSATR: $FORMAT(_("illegal %1% `%2%\' of %3% `%4%\' in %5%"), "isratr", ISR.ISRATR[order], "isr", ISR.ISR[order], "ATT_ISR")$$END$
 766         $END$
 767
 768 $       // intnoがATT_ISRに対する割込み番号として正しくない場合（E_PAR）
 769         $IF !LENGTH(FIND(INTNO_ATTISR_VALID, ISR.INTNO[order]))$
 770                 $ERROR ISR.TEXT_LINE[order]$E_PAR: $FORMAT(_("illegal %1% `%2%\' in %3%"), "intno", ISR.INTNO[order], "ATT_ISR")$$END$
 771         $END$
 772
 773 $       // (TMIN_ISRPRI <= isrpri && isrpri <= TMAX_ISRPRI)でない場合（E_PAR）
 774         $IF !(TMIN_ISRPRI <= ISR.ISRPRI[order] && ISR.ISRPRI[order] <= TMAX_ISRPRI)$
 775                 $ERROR ISR.TEXT_LINE[order]$E_PAR: $FORMAT(_("illegal %1% `%2%\' in %3%"), "isrpri", ISR.ISRPRI[order], "ATT_ISR")$$END$
 776         $END$
 777 $END$
 778
 779 $FOREACH intno INTNO_ATTISR_VALID$
 780         $inhno = INHNO[intno]$
 781
 782 $       // 割込み番号intnoに対して登録されたISRのリストの作成
 783         $isr_order_list = {}$
 784         $FOREACH order ISR.ORDER_LIST$
 785                 $IF ISR.INTNO[order] == intno$
 786                         $isr_order_list = APPEND(isr_order_list, order)$
 787                         $order_for_error = order$
 788                 $END$
 789         $END$
 790
 791 $       // 割込み番号intnoに対して登録されたISRが存在する場合
 792         $IF LENGTH(isr_order_list) > 0$
 793 $               // intnoに対応するinhnoに対してDEF_INHがある場合（E_OBJ）
 794                 $IF LENGTH(INH.INHNO[inhno])$
 795                         $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$
 796                 $END$
 797
 798 $               // intnoに対するCFG_INTがない場合（E_OBJ）
 799                 $IF !LENGTH(INT.INTNO[intno])$
 800                         $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$
 801                 $ELSE$
 802 $                       // intnoに対してCFG_INTで設定された割込み優先度がTMIN_INTPRI
 803 $                       // よりも小さい場合（E_OBJ）
 804                         $IF INT.INTPRI[intno] < TMIN_INTPRI$
 805                                 $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$
 806                         $END$
 807                 $END$
 808
 809 $               // DEF_INH(inhno, { TA_NULL, _kernel_inthdr_<intno> } );
 810                 $INH.INHNO[inhno] = inhno$
 811                 $INH.INHATR[inhno] = VALUE("TA_NULL", 0)$
 812                 $INH.INTHDR[inhno] = CONCAT("_kernel_inthdr_", intno)$
 813                 $INH.ORDER_LIST = APPEND(INH.ORDER_LIST, inhno)$
 814
 815 $               // ISR用の割込みハンドラ
 816                 void$NL$
 817                 _kernel_inthdr_$intno$(void)$NL$
 818                 {$NL$
 819                 $IF LENGTH(isr_order_list) > 1$
 820                         $TAB$PRI        saved_ipm;$NL$
 821                         $NL$
 822                         $TAB$i_begin_int($intno$);$NL$
 823                         $TAB$saved_ipm = i_get_ipm();$NL$
 824                 $ELSE$
 825                         $TAB$i_begin_int($intno$);$NL$
 826                 $END$
 827 $               // ISRを優先度順に呼び出す
 828                 $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"$
 829                         $TAB$LOG_ISR_ENTER($intno$);$NL$
 830                         $TAB$((ISR)($ISR.ISR[order]$))((intptr_t)($ISR.EXINF[order]$));$NL$
 831                         $TAB$LOG_ISR_LEAVE($intno$);$NL$
 832                 $END$
 833                 $TAB$i_end_int($intno$);$NL$
 834                 }$NL$
 835         $END$
 836 $END$
 837 $NL$
 838
 839 $
 840 $  割込み管理機能のための標準的な初期化情報の生成
 841 $
 842 $ 割込みハンドラの初期化に必要な情報
 843 $IF !ALT(OMIT_INITIALIZE_INTERRUPT,0) || ALT(USE_INHINIB_TABLE,0)$
 844
 845 $ 割込みハンドラ数
 846 #define TNUM_INHNO      $LENGTH(INH.ORDER_LIST)$$NL$
 847 const uint_t _kernel_tnum_inhno = TNUM_INHNO;$NL$
 848 $NL$
 849 $FOREACH inhno INH.ORDER_LIST$
 850         $IF (INH.INHATR[inhno] & TA_NONKERNEL) == 0$
 851                 INTHDR_ENTRY($INH.INHNO[inhno]$, $+INH.INHNO[inhno]$, $INH.INTHDR[inhno]$)$NL$
 852         $END$
 853 $END$
 854 $NL$
 855
 856 $ 割込みハンドラ初期化テーブル
 857 $IF LENGTH(INH.ORDER_LIST)$
 858         const INHINIB _kernel_inhinib_table[TNUM_INHNO] = {$NL$
 859         $JOINEACH inhno INH.ORDER_LIST ",\n"$
 860                 $IF (INH.INHATR[inhno] & TA_NONKERNEL) == 0$
 861                         $TAB${ ($INH.INHNO[inhno]$), ($INH.INHATR[inhno]$), (FP)(INT_ENTRY($INH.INHNO[inhno]$, $INH.INTHDR[inhno]$)) }
 862                 $ELSE$
 863                         $TAB${ ($INH.INHNO[inhno]$), ($INH.INHATR[inhno]$), (FP)($INH.INTHDR[inhno]$) }
 864                 $END$
 865         $END$$NL$
 866         };$NL$
 867 $ELSE$
 868         TOPPERS_EMPTY_LABEL(const INHINIB, _kernel_inhinib_table);$NL$
 869 $END$
 870 $NL$
 871 $END$
 872
 873 $ 割込み要求ラインの初期化に必要な情報
 874 $IF !ALT(OMIT_INITIALIZE_INTERRUPT,0) || ALT(USE_INHINTB_TABLE,0)$
 875
 876 $ 割込み要求ライン数
 877 #define TNUM_INTNO      $LENGTH(INT.ORDER_LIST)$$NL$
 878 const uint_t _kernel_tnum_intno = TNUM_INTNO;$NL$
 879 $NL$
 880
 881 $ 割込み要求ライン初期化テーブル
 882 $IF LENGTH(INT.ORDER_LIST)$
 883         const INTINIB _kernel_intinib_table[TNUM_INTNO] = {$NL$
 884         $JOINEACH intno INT.ORDER_LIST ",\n"$
 885                 $TAB${ ($INT.INTNO[intno]$), ($INT.INTATR[intno]$), ($INT.INTPRI[intno]$) }
 886         $END$$NL$
 887         };$NL$
 888 $ELSE$
 889         TOPPERS_EMPTY_LABEL(const INTINIB, _kernel_intinib_table);$NL$
 890 $END$
 891 $NL$
 892 $END$
 893
 894 $
 895 $  CPU例外管理機能
 896 $
 897 /*$NL$
 898 $SPC$*  CPU Exception Management Functions$NL$
 899 $SPC$*/$NL$
 900 $NL$
 901
 902 $ CPU例外ハンドラに関するエラーチェック
 903 $i = 0$
 904 $FOREACH excno EXC.ORDER_LIST$
 905 $       // excnoがDEF_EXCに対するCPU例外ハンドラ番号として正しくない場合（E_PAR）
 906         $IF !LENGTH(FIND(EXCNO_DEFEXC_VALID, EXC.EXCNO[excno]))$
 907                 $ERROR EXC.TEXT_LINE[excno]$E_PAR: $FORMAT(_("illegal %1% `%2%\' in %3%"), "excno", EXC.EXCNO[excno], "DEF_EXC")$$END$
 908         $END$
 909
 910 $       // excnoがDEF_EXCによって設定済みの場合（E_OBJ）
 911         $j = 0$
 912         $FOREACH excno2 EXC.ORDER_LIST$
 913                 $IF EXC.EXCNO[excno] == EXC.EXCNO[excno2] && j < i$
 914                         $ERROR EXC.TEXT_LINE[excno]$E_OBJ: $FORMAT(_("%1% `%2%\' in %3% is duplicated"), "excno", EXC.EXCNO[excno], "DEF_EXC")$$END$
 915                 $END$
 916                 $j = j + 1$
 917         $END$
 918
 919 $       // excatrが（TA_NULL）でない場合（E_RSATR）
 920         $IF (EXC.EXCATR[excno] & ~ALT(TARGET_EXCATR,0)) != 0$
 921                 $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$
 922         $END$
 923         $i = i + 1$
 924 $END$
 925
 926 $ CPU例外ハンドラのための標準的な初期化情報の生成
 927 $IF !ALT(OMIT_INITIALIZE_EXCEPTION,0)$
 928
 929 $ CPU例外ハンドラ数
 930 #define TNUM_EXCNO      $LENGTH(EXC.ORDER_LIST)$$NL$
 931 const uint_t _kernel_tnum_excno = TNUM_EXCNO;$NL$
 932 $NL$
 933 $FOREACH excno EXC.ORDER_LIST$
 934         EXCHDR_ENTRY($EXC.EXCNO[excno]$, $+EXC.EXCNO[excno]$, $EXC.EXCHDR[excno]$)$NL$
 935 $END$
 936 $NL$
 937
 938 $ CPU例外ハンドラ初期化テーブル
 939 $IF LENGTH(EXC.ORDER_LIST)$
 940         const EXCINIB _kernel_excinib_table[TNUM_EXCNO] = {$NL$
 941         $JOINEACH excno EXC.ORDER_LIST ",\n"$
 942                 $TAB${ ($EXC.EXCNO[excno]$), ($EXC.EXCATR[excno]$), (FP)(EXC_ENTRY($EXC.EXCNO[excno]$, $EXC.EXCHDR[excno]$)) }
 943         $END$$NL$
 944         };$NL$
 945 $ELSE$
 946         TOPPERS_EMPTY_LABEL(const EXCINIB, _kernel_excinib_table);$NL$
 947 $END$
 948 $NL$
 949 $END$
 950
 951 $
 952 $  非タスクコンテキスト用のスタック領域
 953 $
 954 /*$NL$
 955 $SPC$*  Stack Area for Non-task Context$NL$
 956 $SPC$*/$NL$
 957 $NL$
 958
 959 $IF !LENGTH(ICS.ORDER_LIST)$
 960 $       // DEF_ICSがない場合のデフォルト値の設定
 961         #ifdef DEFAULT_ISTK$NL$
 962         $NL$
 963         #define TOPPERS_ISTKSZ          DEFAULT_ISTKSZ$NL$
 964         #define TOPPERS_ISTK            DEFAULT_ISTK$NL$
 965         $NL$
 966         #else /* DEAULT_ISTK */$NL$
 967         $NL$
 968         static STK_T                            _kernel_istack[COUNT_STK_T(DEFAULT_ISTKSZ)];$NL$
 969         #define TOPPERS_ISTKSZ          ROUND_STK_T(DEFAULT_ISTKSZ)$NL$
 970         #define TOPPERS_ISTK            _kernel_istack$NL$
 971         $NL$
 972         #endif /* DEAULT_ISTK */$NL$
 973 $ELSE$
 974
 975 $       // 静的API「DEF_ICS」が複数ある（E_OBJ）
 976         $IF LENGTH(ICS.ORDER_LIST) > 1$
 977                 $ERROR$E_OBJ: $FORMAT(_("too many %1%"), "DEF_ICS")$$END$
 978         $END$
 979
 980 $       // istkszがスタック領域のサイズとして正しくない場合（E_PAR）
 981         $IF !EQ(ICS.ISTK[1], "NULL") && LENGTH(CHECK_STKSZ_ALIGN)
 982                                                         && (ICS.ISTKSZ[1] & (CHECK_STKSZ_ALIGN - 1))$
 983                 $ERROR ICS.TEXT_LINE[1]$E_PAR: $FORMAT(_("%1% `%2%\' in %3% is not aligned"), "istksz", ICS.ISTKSZ[1], "DEF_ICS")$$END$
 984         $END$
 985
 986         $IF EQ(ICS.ISTK[1], "NULL")$
 987 $               // スタック領域の自動割付け
 988                 static STK_T                            _kernel_istack[COUNT_STK_T($ICS.ISTKSZ[1]$)];$NL$
 989                 #define TOPPERS_ISTKSZ          ROUND_STK_T($ICS.ISTKSZ[1]$)$NL$
 990                 #define TOPPERS_ISTK            _kernel_istack$NL$
 991         $ELSE$
 992                 #define TOPPERS_ISTKSZ          ($ICS.ISTKSZ[1]$)$NL$
 993                 #define TOPPERS_ISTK            ($ICS.ISTK[1]$)$NL$
 994         $END$
 995 $END$
 996 $NL$
 997
 998 $ 非タスクコンテキスト用のスタック領域
 999 const SIZE              _kernel_istksz = TOPPERS_ISTKSZ;$NL$
1000 STK_T *const    _kernel_istk = TOPPERS_ISTK;$NL$
1001 $NL$
1002 #ifdef TOPPERS_ISTKPT$NL$
1003 STK_T *const    _kernel_istkpt = TOPPERS_ISTKPT(TOPPERS_ISTK, TOPPERS_ISTKSZ);$NL$
1004 #endif /* TOPPERS_ISTKPT */$NL$
1005 $NL$
1006
1007 $
1008 $  タイムイベント管理
1009 $
1010 /*$NL$
1011 $SPC$*  Time Event Management$NL$
1012 $SPC$*/$NL$
1013 $NL$
1014 TMEVTN   _kernel_tmevt_heap[TNUM_TSKID + TNUM_CYCID + TNUM_ALMID];$NL$
1015 $NL$
1016
1017 $
1018 $  各モジュールの初期化関数
1019 $
1020 /*$NL$
1021 $SPC$*  Module Initialization Function$NL$
1022 $SPC$*/$NL$
1023 $NL$
1024 void$NL$
1025 _kernel_initialize_object(void)$NL$
1026 {$NL$
1027 $TAB$_kernel_initialize_task();$NL$
1028 $IF LENGTH(SEM.ID_LIST)$        _kernel_initialize_semaphore();$NL$$END$
1029 $IF LENGTH(FLG.ID_LIST)$        _kernel_initialize_eventflag();$NL$$END$
1030 $IF LENGTH(DTQ.ID_LIST)$        _kernel_initialize_dataqueue();$NL$$END$
1031 $IF LENGTH(PDQ.ID_LIST)$        _kernel_initialize_pridataq();$NL$$END$
1032 $IF LENGTH(MBX.ID_LIST)$        _kernel_initialize_mailbox();$NL$$END$
1033 $IF LENGTH(MPF.ID_LIST)$        _kernel_initialize_mempfix();$NL$$END$
1034 $IF LENGTH(CYC.ID_LIST)$        _kernel_initialize_cyclic();$NL$$END$
1035 $IF LENGTH(ALM.ID_LIST)$        _kernel_initialize_alarm();$NL$$END$
1036 $TAB$_kernel_initialize_interrupt();$NL$
1037 $TAB$_kernel_initialize_exception();$NL$
1038 }$NL$
1039 $NL$
1040
1041 $
1042 $  初期化ルーチンの実行関数
1043 $
1044 /*$NL$
1045 $SPC$*  Initialization Routine$NL$
1046 $SPC$*/$NL$
1047 $NL$
1048 void$NL$
1049 _kernel_call_inirtn(void)$NL$
1050 {$NL$
1051 $FOREACH order INI.ORDER_LIST$
1052 $       // iniatrが（TA_NULL）でない場合（E_RSATR）
1053         $IF INI.INIATR[order] != 0$
1054                 $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$
1055         $END$
1056         $TAB$((INIRTN)($INI.INIRTN[order]$))((intptr_t)($INI.EXINF[order]$));$NL$
1057 $END$
1058 }$NL$
1059 $NL$
1060
1061 $
1062 $  終了処理ルーチンの実行関数
1063 $
1064 /*$NL$
1065 $SPC$*  Termination Routine$NL$
1066 $SPC$*/$NL$
1067 $NL$
1068 void$NL$
1069 _kernel_call_terrtn(void)$NL$
1070 {$NL$
1071 $FOREACH rorder TER.RORDER_LIST$
1072 $       // teratrが（TA_NULL）でない場合（E_RSATR）
1073         $IF TER.TERATR[rorder] != 0$
1074                 $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$
1075         $END$
1076         $TAB$((TERRTN)($TER.TERRTN[rorder]$))((intptr_t)($TER.EXINF[rorder]$));$NL$
1077 $END$
1078 }$NL$
1079 $NL$