asp/extension/ovrhdr/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$*  Overrun Handler Functions$NL$
 635 $SPC$*/$NL$
 636 $NL$
 637
 638 $       // 静的API「DEF_OVR」が複数ある（E_OBJ）
 639 $IF LENGTH(OVR.ORDER_LIST) > 1$
 640         $ERROR$E_OBJ: $FORMAT(_("too many %1%"), "DEF_OVR")$$END$
 641 $END$
 642
 643 $ オーバランハンドラ初期化ブロックの生成
 644 #ifdef TOPPERS_SUPPORT_OVRHDR$NL$$NL$
 645 const OVRINIB _kernel_ovrinib = {$NL$
 646 $IF LENGTH(OVR.ORDER_LIST)$
 647         $TAB$($OVR.OVRATR[1]$), ($OVR.OVRHDR[1]$)$NL$
 648 $ELSE$
 649         $TAB$TA_NULL, NULL$NL$
 650 $END$
 651 };$NL$$NL$
 652 #endif /* TOPPERS_SUPPORT_OVRHDR */$NL$
 653 $NL$
 654
 655 $
 656 $  割込み管理機能
 657 $
 658 /*$NL$
 659 $SPC$*  Interrupt Management Functions$NL$
 660 $SPC$*/$NL$
 661 $NL$
 662
 663 $ 割込み番号と割込みハンドラ番号の変換テーブルの作成
 664 $IF LENGTH(INTNO_ATTISR_VALID) != LENGTH(INHNO_ATTISR_VALID)$
 665         $ERROR$length of `INTNO_ATTISR_VALID' is different from length of `INHNO_ATTISR_VALID'$END$
 666 $END$
 667 $i = 0$
 668 $FOREACH intno INTNO_ATTISR_VALID$
 669         $inhno = AT(INHNO_ATTISR_VALID, i)$
 670         $INHNO[intno] = inhno$
 671         $INTNO[inhno] = intno$
 672         $i = i + 1$
 673 $END$
 674
 675 $ 割込み要求ラインに関するエラーチェック
 676 $i = 0$
 677 $FOREACH intno INT.ORDER_LIST$
 678 $       // intnoがCFG_INTに対する割込み番号として正しくない場合（E_PAR）
 679         $IF !LENGTH(FIND(INTNO_CFGINT_VALID, INT.INTNO[intno]))$
 680                 $ERROR INT.TEXT_LINE[intno]$E_PAR: $FORMAT(_("illegal %1% `%2%\' in %3%"), "intno", INT.INTNO[intno], "CFG_INT")$$END$
 681         $END$
 682
 683 $       // intnoがCFG_INTによって設定済みの場合（E_OBJ）
 684         $j = 0$
 685         $FOREACH intno2 INT.ORDER_LIST$
 686                 $IF INT.INTNO[intno] == INT.INTNO[intno2] && j < i$
 687                         $ERROR INT.TEXT_LINE[intno]$E_OBJ: $FORMAT(_("%1% `%2%\' in %3% is duplicated"), "intno", INT.INTNO[intno], "CFG_INT")$$END$
 688                 $END$
 689                 $j = j + 1$
 690         $END$
 691
 692 $       // intatrが（［TA_ENAINT］｜［TA_EDGE］）でない場合（E_RSATR）
 693         $IF (INT.INTATR[intno] & ~(TA_ENAINT|TA_EDGE|ALT(TARGET_INTATR,0))) != 0$
 694                 $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$
 695         $END$
 696
 697 $       // intpriがCFG_INTに対する割込み優先度として正しくない場合（E_PAR）
 698         $IF !LENGTH(FIND(INTPRI_CFGINT_VALID, INT.INTPRI[intno]))$
 699                 $ERROR INT.TEXT_LINE[intno]$E_PAR: $FORMAT(_("illegal %1% `%2%\' in %3%"), "intpri", INT.INTPRI[intno], "CFG_INT")$$END$
 700         $END$
 701
 702 $       // カーネル管理に固定されているintnoに対して，intpriにTMIN_INTPRI
 703 $       // よりも小さい値が指定された場合（E_OBJ）
 704         $IF LENGTH(FIND(INTNO_FIX_KERNEL, intno))$
 705                 $IF INT.INTPRI[intno] < TMIN_INTPRI$
 706                         $ERROR INT.TEXT_LINE[intno]$E_OBJ: $FORMAT(_("%1% `%2%\' must not have higher priority than %3%"), "intno", INT.INTNO[intno], "TMIN_INTPRI")$$END$
 707                 $END$
 708         $END$
 709
 710 $       // カーネル管理外に固定されているintnoに対して，intpriにTMIN_INTPRI
 711 $       // よりも小さい値が指定されなかった場合（E_OBJ）
 712         $IF LENGTH(FIND(INTNO_FIX_NONKERNEL, intno))$
 713                 $IF INT.INTPRI[intno] >= TMIN_INTPRI$
 714                         $ERROR INT.TEXT_LINE[intno]$E_OBJ: $FORMAT(_("%1% `%2%\' must have higher priority than %3%"), "intno", INT.INTNO[intno], "TMIN_INTPRI")$$END$
 715                 $END$
 716         $END$
 717         $i = i + 1$
 718 $END$
 719
 720 $ 割込みハンドラに関するエラーチェック
 721 $i = 0$
 722 $FOREACH inhno INH.ORDER_LIST$
 723 $       // inhnoがDEF_INHに対する割込みハンドラ番号として正しくない場合（E_PAR）
 724         $IF !LENGTH(FIND(INHNO_DEFINH_VALID, INH.INHNO[inhno]))$
 725                 $ERROR INH.TEXT_LINE[inhno]$E_PAR: $FORMAT(_("illegal %1% `%2%\' in %3%"), "inhno", INH.INHNO[inhno], "DEF_INH")$$END$
 726         $END$
 727
 728 $       // inhnoがDEF_INHによって設定済みの場合（E_OBJ）
 729         $j = 0$
 730         $FOREACH inhno2 INH.ORDER_LIST$
 731                 $IF INH.INHNO[inhno] == INH.INHNO[inhno2] && j < i$
 732                         $ERROR INH.TEXT_LINE[inhno]$E_OBJ: $FORMAT(_("%1% `%2%\' in %3% is duplicated"), "inhno", INH.INHNO[inhno], "DEF_INH")$$END$
 733                 $END$
 734                 $j = j + 1$
 735         $END$
 736
 737 $       // inhatrが（TA_NULL）でない場合（E_RSATR）
 738         $IF (INH.INHATR[inhno] & ~ALT(TARGET_INHATR,0)) != 0$
 739                 $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$
 740         $END$
 741
 742 $       // カーネル管理に固定されているinhnoに対して，inhatrにTA_NONKERNEL
 743 $       //　が指定されている場合（E_RSATR）
 744         $IF LENGTH(FIND(INHNO_FIX_KERNEL, inhno))$
 745                 $IF (INH.INHATR[inhno] & TA_NONKERNEL) != 0$
 746                         $ERROR INH.TEXT_LINE[inhno]$E_RSATR: $FORMAT(_("%1% `%2%\' must not be non-kernel interrupt"), "inhno", INH.INHNO[inhno])$$END$
 747                 $END$
 748         $END$
 749
 750 $       // カーネル管理外に固定されているinhnoに対して，inhatrにTA_NONKERNEL
 751 $       // が指定されていない場合（E_RSATR）
 752         $IF LENGTH(FIND(INHNO_FIX_NONKERNEL, inhno))$
 753                 $IF (INH.INHATR[inhno] & TA_NONKERNEL) == 0$
 754                         $ERROR INH.TEXT_LINE[inhno]$E_RSATR: $FORMAT(_("%1% `%2%\' must be non-kernel interrupt"), "inhno", INH.INHNO[inhno])$$END$
 755                 $END$
 756         $END$
 757
 758         $IF LENGTH(INTNO[INH.INHNO[inhno]])$
 759                 $intno = INTNO[INH.INHNO[inhno]]$
 760                 $IF LENGTH(FIND(INTNO_CFGINT_VALID, intno))$
 761 $                       // inhnoに対応するintnoに対するCFG_INTがない場合（E_OBJ）
 762                         $IF !LENGTH(INT.INTNO[intno])$
 763                                 $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$
 764                         $ELSE$
 765                                 $IF (INH.INHATR[inhno] & TA_NONKERNEL) == 0$
 766 $                                       // inhatrにTA_NONKERNELが指定されておらず，inhnoに対応
 767 $                                       // するintnoに対してCFG_INTで設定された割込み優先度が
 768 $                                       // TMIN_INTPRIよりも小さい場合（E_OBJ）
 769                                         $IF INT.INTPRI[intno] < TMIN_INTPRI$
 770                                                 $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$
 771                                         $END$
 772                                 $ELSE$
 773 $                                       // inhatrにTA_NONKERNELが指定されており，inhnoに対応
 774 $                                       // するintnoに対してCFG_INTで設定された割込み優先度が
 775 $                                       // TMIN_INTPRI以上である場合（E_OBJ）
 776                                         $IF INT.INTPRI[intno] >= TMIN_INTPRI$
 777                                                 $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$
 778                                         $END$
 779                                 $END$
 780                         $END$
 781                 $END$
 782         $END$
 783         $i = i + 1$
 784 $END$
 785
 786 $ 割込みサービスルーチン（ISR）に関するエラーチェックと割込みハンドラの生成
 787 $FOREACH order ISR.ORDER_LIST$
 788 $       // isratrが（TA_NULL）でない場合（E_RSATR）
 789         $IF (ISR.ISRATR[order] & ~ALT(TARGET_ISRATR,0)) != 0$
 790                 $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$
 791         $END$
 792
 793 $       // intnoがATT_ISRに対する割込み番号として正しくない場合（E_PAR）
 794         $IF !LENGTH(FIND(INTNO_ATTISR_VALID, ISR.INTNO[order]))$
 795                 $ERROR ISR.TEXT_LINE[order]$E_PAR: $FORMAT(_("illegal %1% `%2%\' in %3%"), "intno", ISR.INTNO[order], "ATT_ISR")$$END$
 796         $END$
 797
 798 $       // (TMIN_ISRPRI <= isrpri && isrpri <= TMAX_ISRPRI)でない場合（E_PAR）
 799         $IF !(TMIN_ISRPRI <= ISR.ISRPRI[order] && ISR.ISRPRI[order] <= TMAX_ISRPRI)$
 800                 $ERROR ISR.TEXT_LINE[order]$E_PAR: $FORMAT(_("illegal %1% `%2%\' in %3%"), "isrpri", ISR.ISRPRI[order], "ATT_ISR")$$END$
 801         $END$
 802 $END$
 803
 804 $FOREACH intno INTNO_ATTISR_VALID$
 805         $inhno = INHNO[intno]$
 806
 807 $       // 割込み番号intnoに対して登録されたISRのリストの作成
 808         $isr_order_list = {}$
 809         $FOREACH order ISR.ORDER_LIST$
 810                 $IF ISR.INTNO[order] == intno$
 811                         $isr_order_list = APPEND(isr_order_list, order)$
 812                         $order_for_error = order$
 813                 $END$
 814         $END$
 815
 816 $       // 割込み番号intnoに対して登録されたISRが存在する場合
 817         $IF LENGTH(isr_order_list) > 0$
 818 $               // intnoに対応するinhnoに対してDEF_INHがある場合（E_OBJ）
 819                 $IF LENGTH(INH.INHNO[inhno])$
 820                         $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$
 821                 $END$
 822
 823 $               // intnoに対するCFG_INTがない場合（E_OBJ）
 824                 $IF !LENGTH(INT.INTNO[intno])$
 825                         $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$
 826                 $ELSE$
 827 $                       // intnoに対してCFG_INTで設定された割込み優先度がTMIN_INTPRI
 828 $                       // よりも小さい場合（E_OBJ）
 829                         $IF INT.INTPRI[intno] < TMIN_INTPRI$
 830                                 $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$
 831                         $END$
 832                 $END$
 833
 834 $               // DEF_INH(inhno, { TA_NULL, _kernel_inthdr_<intno> } );
 835                 $INH.INHNO[inhno] = inhno$
 836                 $INH.INHATR[inhno] = VALUE("TA_NULL", 0)$
 837                 $INH.INTHDR[inhno] = CONCAT("_kernel_inthdr_", intno)$
 838                 $INH.ORDER_LIST = APPEND(INH.ORDER_LIST, inhno)$
 839
 840 $               // ISR用の割込みハンドラ
 841                 void$NL$
 842                 _kernel_inthdr_$intno$(void)$NL$
 843                 {$NL$
 844                 $IF LENGTH(isr_order_list) > 1$
 845                         $TAB$PRI        saved_ipm;$NL$
 846                         $NL$
 847                         $TAB$i_begin_int($intno$);$NL$
 848                         $TAB$saved_ipm = i_get_ipm();$NL$
 849                 $ELSE$
 850                         $TAB$i_begin_int($intno$);$NL$
 851                 $END$
 852 $               // ISRを優先度順に呼び出す
 853                 $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"$
 854                         $TAB$LOG_ISR_ENTER($intno$);$NL$
 855                         $TAB$((ISR)($ISR.ISR[order]$))((intptr_t)($ISR.EXINF[order]$));$NL$
 856                         $TAB$LOG_ISR_LEAVE($intno$);$NL$
 857                 $END$
 858                 $TAB$i_end_int($intno$);$NL$
 859                 }$NL$
 860         $END$
 861 $END$
 862 $NL$
 863
 864 $
 865 $  割込み管理機能のための標準的な初期化情報の生成
 866 $
 867 $ 割込みハンドラの初期化に必要な情報
 868 $IF !ALT(OMIT_INITIALIZE_INTERRUPT,0) || ALT(USE_INHINIB_TABLE,0)$
 869
 870 $ 割込みハンドラ数
 871 #define TNUM_INHNO      $LENGTH(INH.ORDER_LIST)$$NL$
 872 const uint_t _kernel_tnum_inhno = TNUM_INHNO;$NL$
 873 $NL$
 874 $FOREACH inhno INH.ORDER_LIST$
 875         $IF (INH.INHATR[inhno] & TA_NONKERNEL) == 0$
 876                 INTHDR_ENTRY($INH.INHNO[inhno]$, $+INH.INHNO[inhno]$, $INH.INTHDR[inhno]$)$NL$
 877         $END$
 878 $END$
 879 $NL$
 880
 881 $ 割込みハンドラ初期化テーブル
 882 $IF LENGTH(INH.ORDER_LIST)$
 883         const INHINIB _kernel_inhinib_table[TNUM_INHNO] = {$NL$
 884         $JOINEACH inhno INH.ORDER_LIST ",\n"$
 885                 $IF (INH.INHATR[inhno] & TA_NONKERNEL) == 0$
 886                         $TAB${ ($INH.INHNO[inhno]$), ($INH.INHATR[inhno]$), (FP)(INT_ENTRY($INH.INHNO[inhno]$, $INH.INTHDR[inhno]$)) }
 887                 $ELSE$
 888                         $TAB${ ($INH.INHNO[inhno]$), ($INH.INHATR[inhno]$), (FP)($INH.INTHDR[inhno]$) }
 889                 $END$
 890         $END$$NL$
 891         };$NL$
 892 $ELSE$
 893         TOPPERS_EMPTY_LABEL(const INHINIB, _kernel_inhinib_table);$NL$
 894 $END$
 895 $NL$
 896 $END$
 897
 898 $ 割込み要求ラインの初期化に必要な情報
 899 $IF !ALT(OMIT_INITIALIZE_INTERRUPT,0) || ALT(USE_INHINTB_TABLE,0)$
 900
 901 $ 割込み要求ライン数
 902 #define TNUM_INTNO      $LENGTH(INT.ORDER_LIST)$$NL$
 903 const uint_t _kernel_tnum_intno = TNUM_INTNO;$NL$
 904 $NL$
 905
 906 $ 割込み要求ライン初期化テーブル
 907 $IF LENGTH(INT.ORDER_LIST)$
 908         const INTINIB _kernel_intinib_table[TNUM_INTNO] = {$NL$
 909         $JOINEACH intno INT.ORDER_LIST ",\n"$
 910                 $TAB${ ($INT.INTNO[intno]$), ($INT.INTATR[intno]$), ($INT.INTPRI[intno]$) }
 911         $END$$NL$
 912         };$NL$
 913 $ELSE$
 914         TOPPERS_EMPTY_LABEL(const INTINIB, _kernel_intinib_table);$NL$
 915 $END$
 916 $NL$
 917 $END$
 918
 919 $
 920 $  CPU例外管理機能
 921 $
 922 /*$NL$
 923 $SPC$*  CPU Exception Management Functions$NL$
 924 $SPC$*/$NL$
 925 $NL$
 926
 927 $ CPU例外ハンドラに関するエラーチェック
 928 $i = 0$
 929 $FOREACH excno EXC.ORDER_LIST$
 930 $       // excnoがDEF_EXCに対するCPU例外ハンドラ番号として正しくない場合（E_PAR）
 931         $IF !LENGTH(FIND(EXCNO_DEFEXC_VALID, EXC.EXCNO[excno]))$
 932                 $ERROR EXC.TEXT_LINE[excno]$E_PAR: $FORMAT(_("illegal %1% `%2%\' in %3%"), "excno", EXC.EXCNO[excno], "DEF_EXC")$$END$
 933         $END$
 934
 935 $       // excnoがDEF_EXCによって設定済みの場合（E_OBJ）
 936         $j = 0$
 937         $FOREACH excno2 EXC.ORDER_LIST$
 938                 $IF EXC.EXCNO[excno] == EXC.EXCNO[excno2] && j < i$
 939                         $ERROR EXC.TEXT_LINE[excno]$E_OBJ: $FORMAT(_("%1% `%2%\' in %3% is duplicated"), "excno", EXC.EXCNO[excno], "DEF_EXC")$$END$
 940                 $END$
 941                 $j = j + 1$
 942         $END$
 943
 944 $       // excatrが（TA_NULL）でない場合（E_RSATR）
 945         $IF (EXC.EXCATR[excno] & ~ALT(TARGET_EXCATR,0)) != 0$
 946                 $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$
 947         $END$
 948         $i = i + 1$
 949 $END$
 950
 951 $ CPU例外ハンドラのための標準的な初期化情報の生成
 952 $IF !ALT(OMIT_INITIALIZE_EXCEPTION,0)$
 953
 954 $ CPU例外ハンドラ数
 955 #define TNUM_EXCNO      $LENGTH(EXC.ORDER_LIST)$$NL$
 956 const uint_t _kernel_tnum_excno = TNUM_EXCNO;$NL$
 957 $NL$
 958 $FOREACH excno EXC.ORDER_LIST$
 959         EXCHDR_ENTRY($EXC.EXCNO[excno]$, $+EXC.EXCNO[excno]$, $EXC.EXCHDR[excno]$)$NL$
 960 $END$
 961 $NL$
 962
 963 $ CPU例外ハンドラ初期化テーブル
 964 $IF LENGTH(EXC.ORDER_LIST)$
 965         const EXCINIB _kernel_excinib_table[TNUM_EXCNO] = {$NL$
 966         $JOINEACH excno EXC.ORDER_LIST ",\n"$
 967                 $TAB${ ($EXC.EXCNO[excno]$), ($EXC.EXCATR[excno]$), (FP)(EXC_ENTRY($EXC.EXCNO[excno]$, $EXC.EXCHDR[excno]$)) }
 968         $END$$NL$
 969         };$NL$
 970 $ELSE$
 971         TOPPERS_EMPTY_LABEL(const EXCINIB, _kernel_excinib_table);$NL$
 972 $END$
 973 $NL$
 974 $END$
 975
 976 $
 977 $  非タスクコンテキスト用のスタック領域
 978 $
 979 /*$NL$
 980 $SPC$*  Stack Area for Non-task Context$NL$
 981 $SPC$*/$NL$
 982 $NL$
 983
 984 $IF !LENGTH(ICS.ORDER_LIST)$
 985 $       // DEF_ICSがない場合のデフォルト値の設定
 986         #ifdef DEFAULT_ISTK$NL$
 987         $NL$
 988         #define TOPPERS_ISTKSZ          DEFAULT_ISTKSZ$NL$
 989         #define TOPPERS_ISTK            DEFAULT_ISTK$NL$
 990         $NL$
 991         #else /* DEAULT_ISTK */$NL$
 992         $NL$
 993         static STK_T                            _kernel_istack[COUNT_STK_T(DEFAULT_ISTKSZ)];$NL$
 994         #define TOPPERS_ISTKSZ          ROUND_STK_T(DEFAULT_ISTKSZ)$NL$
 995         #define TOPPERS_ISTK            _kernel_istack$NL$
 996         $NL$
 997         #endif /* DEAULT_ISTK */$NL$
 998 $ELSE$
 999
1000 $       // 静的API「DEF_ICS」が複数ある（E_OBJ）
1001         $IF LENGTH(ICS.ORDER_LIST) > 1$
1002                 $ERROR$E_OBJ: $FORMAT(_("too many %1%"), "DEF_ICS")$$END$
1003         $END$
1004
1005 $       // istkszがスタック領域のサイズとして正しくない場合（E_PAR）
1006         $IF !EQ(ICS.ISTK[1], "NULL") && LENGTH(CHECK_STKSZ_ALIGN)
1007                                                         && (ICS.ISTKSZ[1] & (CHECK_STKSZ_ALIGN - 1))$
1008                 $ERROR ICS.TEXT_LINE[1]$E_PAR: $FORMAT(_("%1% `%2%\' in %3% is not aligned"), "istksz", ICS.ISTKSZ[1], "DEF_ICS")$$END$
1009         $END$
1010
1011         $IF EQ(ICS.ISTK[1], "NULL")$
1012 $               // スタック領域の自動割付け
1013                 static STK_T                            _kernel_istack[COUNT_STK_T($ICS.ISTKSZ[1]$)];$NL$
1014                 #define TOPPERS_ISTKSZ          ROUND_STK_T($ICS.ISTKSZ[1]$)$NL$
1015                 #define TOPPERS_ISTK            _kernel_istack$NL$
1016         $ELSE$
1017                 #define TOPPERS_ISTKSZ          ($ICS.ISTKSZ[1]$)$NL$
1018                 #define TOPPERS_ISTK            ($ICS.ISTK[1]$)$NL$
1019         $END$
1020 $END$
1021 $NL$
1022
1023 $ 非タスクコンテキスト用のスタック領域
1024 const SIZE              _kernel_istksz = TOPPERS_ISTKSZ;$NL$
1025 STK_T *const    _kernel_istk = TOPPERS_ISTK;$NL$
1026 $NL$
1027 #ifdef TOPPERS_ISTKPT$NL$
1028 STK_T *const    _kernel_istkpt = TOPPERS_ISTKPT(TOPPERS_ISTK, TOPPERS_ISTKSZ);$NL$
1029 #endif /* TOPPERS_ISTKPT */$NL$
1030 $NL$
1031
1032 $
1033 $  タイムイベント管理
1034 $
1035 /*$NL$
1036 $SPC$*  Time Event Management$NL$
1037 $SPC$*/$NL$
1038 $NL$
1039 TMEVTN   _kernel_tmevt_heap[TNUM_TSKID + TNUM_CYCID + TNUM_ALMID];$NL$
1040 $NL$
1041
1042 $
1043 $  各モジュールの初期化関数
1044 $
1045 /*$NL$
1046 $SPC$*  Module Initialization Function$NL$
1047 $SPC$*/$NL$
1048 $NL$
1049 void$NL$
1050 _kernel_initialize_object(void)$NL$
1051 {$NL$
1052 $TAB$_kernel_initialize_task();$NL$
1053 $IF LENGTH(SEM.ID_LIST)$        _kernel_initialize_semaphore();$NL$$END$
1054 $IF LENGTH(FLG.ID_LIST)$        _kernel_initialize_eventflag();$NL$$END$
1055 $IF LENGTH(DTQ.ID_LIST)$        _kernel_initialize_dataqueue();$NL$$END$
1056 $IF LENGTH(PDQ.ID_LIST)$        _kernel_initialize_pridataq();$NL$$END$
1057 $IF LENGTH(MBX.ID_LIST)$        _kernel_initialize_mailbox();$NL$$END$
1058 $IF LENGTH(MPF.ID_LIST)$        _kernel_initialize_mempfix();$NL$$END$
1059 $IF LENGTH(CYC.ID_LIST)$        _kernel_initialize_cyclic();$NL$$END$
1060 $IF LENGTH(ALM.ID_LIST)$        _kernel_initialize_alarm();$NL$$END$
1061 $TAB$_kernel_initialize_overrun();$NL$
1062 $TAB$_kernel_initialize_interrupt();$NL$
1063 $TAB$_kernel_initialize_exception();$NL$
1064 }$NL$
1065 $NL$
1066
1067 $
1068 $  初期化ルーチンの実行関数
1069 $
1070 /*$NL$
1071 $SPC$*  Initialization Routine$NL$
1072 $SPC$*/$NL$
1073 $NL$
1074 void$NL$
1075 _kernel_call_inirtn(void)$NL$
1076 {$NL$
1077 $FOREACH order INI.ORDER_LIST$
1078 $       // iniatrが（TA_NULL）でない場合（E_RSATR）
1079         $IF INI.INIATR[order] != 0$
1080                 $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$
1081         $END$
1082         $TAB$((INIRTN)($INI.INIRTN[order]$))((intptr_t)($INI.EXINF[order]$));$NL$
1083 $END$
1084 }$NL$
1085 $NL$
1086
1087 $
1088 $  終了処理ルーチンの実行関数
1089 $
1090 /*$NL$
1091 $SPC$*  Termination Routine$NL$
1092 $SPC$*/$NL$
1093 $NL$
1094 void$NL$
1095 _kernel_call_terrtn(void)$NL$
1096 {$NL$
1097 $FOREACH rorder TER.RORDER_LIST$
1098 $       // teratrが（TA_NULL）でない場合（E_RSATR）
1099         $IF TER.TERATR[rorder] != 0$
1100                 $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$
1101         $END$
1102         $TAB$((TERRTN)($TER.TERRTN[rorder]$))((intptr_t)($TER.EXINF[rorder]$));$NL$
1103 $END$
1104 }$NL$
1105 $NL$