source: rtos_arduino/trunk/asp_1.9.2/kernel/kernel_check.tf@ 136

$ ======================================================================
$ 
$   TOPPERS/ASP Kernel
$       Toyohashi Open Platform for Embedded Real-Time Systems/
$       Advanced Standard Profile Kernel
$ 
$   Copyright (C) 2008-2013 by Embedded and Real-Time Systems Laboratory
$               Graduate School of Information Science, Nagoya Univ., JAPAN
$  
$   上記著作権者
は，以下の(1)～(4)ã®æ¡ä»¶ã‚’æº€ãŸã™å ´åˆã«é™ã‚Šï¼Œæœ¬ã‚½ãƒ•ãƒˆã‚¦ã‚§
$   ア（本ソフトウェアを改変したものを含む．以下同じ）を使用・複製・改
$   変・再é…
å¸ƒï¼ˆä»¥ä¸‹ï¼Œåˆ©ç”¨ã¨å‘¼ã¶ï¼‰ã™ã‚‹ã“とを無償で許諾する．
$   (1) æœ¬ã‚½ãƒ•ãƒˆã‚¦ã‚§ã‚¢ã‚’ã‚½ãƒ¼ã‚¹ã‚³ãƒ¼ãƒ‰ã®å½¢ã§åˆ©ç”¨ã™ã‚‹å ´åˆã«ã¯ï¼Œä¸Šè¨˜ã®è‘—ä½œ
$       権表示，この利用条件および下記の無保証規定が，そのままの形でソー
$       スコード中に含まれていること．
$   (2) 本ソフトウェアを，ライブラリ形式など，他のソフトウェア開発に使
$       用できる形で再é…
å¸ƒã™ã‚‹å ´åˆã«ã¯ï¼Œå†é…
å¸ƒã«ä¼´ã†ãƒ‰ã‚­ãƒ¥ãƒ¡ãƒ³ãƒˆï¼ˆåˆ©ç”¨
$       者
マニュアルなど）に，上記の著作権表示，この利用条件および下記
$       の無保証規定を掲載すること．
$   (3) 本ソフトウェアを，機器に組み込むなど，他のソフトウェア開発に使
$       用できない形で再é…
å¸ƒã™ã‚‹å ´åˆã«ã¯ï¼Œæ¬¡ã®ã„ずれかの条件を満たすこ
$       と．
$     (a) 再é…
å¸ƒã«ä¼´ã†ãƒ‰ã‚­ãƒ¥ãƒ¡ãƒ³ãƒˆï¼ˆåˆ©ç”¨è€…
マニュアルなど）に，上記の著
$         作権表示，この利用条件および下記の無保証規定を掲載すること．
$     (b) 再é…
å¸ƒã®å½¢æ…
‹ã‚’，別に定める方法によって，TOPPERSプロジェクトに
$         å ±å‘Šã™ã‚‹ã“ã¨ï¼Ž
$   (4) 本ソフトウェアの利用により直接的または間接的に生じるいかなる損
$       害からも，上記著作権者
およびTOPPERSプロジェクトをå…
è²¬ã™ã‚‹ã“と．
$       また，本ソフトウェアのユーザまたはエンドユーザからのいかなる理
$       由に基づく請求からも，上記著作権者
およびTOPPERSプロジェクトを
$       å…
è²¬ã™ã‚‹ã“と．
$  
$   本ソフトウェアは，無保証で提供されているものである．上記著作権者
お
$   よびTOPPERSプロジェクトは，本ソフトウェアに関して，特定の使用目的
$   に対する適合性も含めて，いかなる保証も行わない．また，本ソフトウェ
$   アの利用により直接的または間接的に生じたいかなる損害に関しても，そ
$   ã®è²¬ä»»ã‚’è² ã‚ãªã„ï¼Ž
$ 
$   @(#) $Id: kernel_check.tf 2526 2013-09-16 01:32:30Z ertl-hiro $
$  
$ =====================================================================

$
$  データセクションのLMAからVMAへのコピー
$
$FOREACH lma LMA.ORDER_LIST$
        $start_data = SYMBOL(LMA.START_DATA[lma])$
        $end_data = SYMBOL(LMA.END_DATA[lma])$
        $start_idata = SYMBOL(LMA.START_IDATA[lma])$
        $IF !LENGTH(start_data)$
                $ERROR$$FORMAT(_("symbol '%1%' not found"), LMA.START_DATA[lma])$$END$
        $ELIF !LENGTH(end_data)$
                $ERROR$$FORMAT(_("symbol '%1%' not found"), LMA.END_DATA[lma])$$END$
        $ELIF !LENGTH(start_idata)$
                $ERROR$$FORMAT(_("symbol '%1%' not found"), LMA.START_IDATA[lma])$$END$
        $ELSE$
                $BCOPY(start_idata, start_data, end_data - start_data)$
        $END$
$END$

$ 
$  関数のå…
ˆé ­ç•ªåœ°ã®ãƒã‚§ãƒƒã‚¯
$ 
$IF CHECK_FUNC_ALIGN || CHECK_FUNC_NONNULL$
$       // タスクとタスク例外処理ルーチンのå…
ˆé ­ç•ªåœ°ã®ãƒã‚§ãƒƒã‚¯
        $tinib = SYMBOL("_kernel_tinib_table")$
        $FOREACH tskid TSK.ID_LIST$
                $task = PEEK(tinib + offsetof_TINIB_task, sizeof_FP)$
                $IF CHECK_FUNC_ALIGN && (task & (CHECK_FUNC_ALIGN - 1)) != 0$
                        $ERROR TSK.TEXT_LINE[tskid]$E_PAR: 
                                $FORMAT(_("%1% `%2%\' of `%3%\' in %4% is not aligned"),
                                "task", TSK.TASK[tskid], tskid, "CRE_TSK")$$END$
                $END$
                $IF CHECK_FUNC_NONNULL && task == 0$
                        $ERROR TSK.TEXT_LINE[tskid]$E_PAR: 
                                $FORMAT(_("%1% `%2%\' of `%3%\' in %4% is null"),
                                "task", TSK.TASK[tskid], tskid, "CRE_TSK")$$END$
                $END$
                $texrtn = PEEK(tinib + offsetof_TINIB_texrtn, sizeof_FP)$
                $IF CHECK_FUNC_ALIGN && (texrtn & (CHECK_FUNC_ALIGN - 1)) != 0$
                        $ERROR DEF_TEX.TEXT_LINE[tskid]$E_PAR: 
                                $FORMAT(_("%1% `%2%\' of `%3%\' in %4% is not aligned"),
                                "texrtn", TSK.TEXRTN[tskid], tskid, "DEF_TEX")$$END$
                $END$
                $tinib = tinib + sizeof_TINIB$
        $END$

$       // 周期ハンドラのå…
ˆé ­ç•ªåœ°ã®ãƒã‚§ãƒƒã‚¯
        $cycinib = SYMBOL("_kernel_cycinib_table")$
        $FOREACH cycid CYC.ID_LIST$
                $cychdr = PEEK(cycinib + offsetof_CYCINIB_cychdr, sizeof_FP)$
                $IF CHECK_FUNC_ALIGN && (cychdr & (CHECK_FUNC_ALIGN - 1)) != 0$
                        $ERROR CYC.TEXT_LINE[cycid]$E_PAR: 
                                $FORMAT(_("%1% `%2%\' of `%3%\' in %4% is not aligned"),
                                "cychdr", CYC.CYCHDR[cycid], cycid, "CRE_CYC")$$END$
                $END$
                $IF CHECK_FUNC_NONNULL && cychdr == 0$
                        $ERROR CYC.TEXT_LINE[cycid]$E_PAR: 
                                $FORMAT(_("%1% `%2%\' of `%3%\' in %4% is null"),
                                "cychdr", CYC.CYCHDR[cycid], cycid, "CRE_CYC")$$END$
                $END$
                $cycinib = cycinib + sizeof_CYCINIB$
        $END$

$       // アラームハンドラのå…
ˆé ­ç•ªåœ°ã®ãƒã‚§ãƒƒã‚¯
        $alminib = SYMBOL("_kernel_alminib_table")$
        $FOREACH almid ALM.ID_LIST$
                $almhdr = PEEK(alminib + offsetof_ALMINIB_almhdr, sizeof_FP)$
                $IF CHECK_FUNC_ALIGN && (almhdr & (CHECK_FUNC_ALIGN - 1)) != 0$
                        $ERROR ALM.TEXT_LINE[almid]$E_PAR: 
                                $FORMAT(_("%1% `%2%\' of `%3%\' in %4% is not aligned"),
                                "almhdr", ALM.ALMHDR[almid], almid, "CRE_ALM")$$END$
                $END$
                $IF CHECK_FUNC_NONNULL && almhdr == 0$
                        $ERROR ALM.TEXT_LINE[almid]$E_PAR: 
                                $FORMAT(_("%1% `%2%\' of `%3%\' in %4% is null"),
                                "almhdr", ALM.ALMHDR[almid], almid, "CRE_ALM")$$END$
                $END$
                $alminib = alminib + sizeof_ALMINIB$
        $END$
$END$

$ 
$  ã‚¹ã‚¿ãƒƒã‚¯é ˜åŸŸã®å…
ˆé ­ç•ªåœ°ã®ãƒã‚§ãƒƒã‚¯
$ 
$IF CHECK_STACK_ALIGN || CHECK_STACK_NONNULL$
$       // ã‚¿ã‚¹ã‚¯ã®ã‚¹ã‚¿ãƒƒã‚¯é ˜åŸŸã®å…
ˆé ­ç•ªåœ°ã®ãƒã‚§ãƒƒã‚¯
        $tinib = SYMBOL("_kernel_tinib_table")$
        $FOREACH tskid TSK.ID_LIST$
                $IF USE_TSKINICTXB$
                        $stk = GET_STK_TSKINICTXB(tinib)$
                $ELSE$
                        $stk = PEEK(tinib + offsetof_TINIB_stk, sizeof_void_ptr)$
                $END$
                $IF CHECK_STACK_ALIGN && (stk & (CHECK_STACK_ALIGN - 1)) != 0$
                        $ERROR TSK.TEXT_LINE[tskid]$E_PAR: 
                                $FORMAT(_("%1% `%2%\' of `%3%\' in %4% is not aligned"),
                                "stk", TSK.STK[tskid], tskid, "CRE_TSK")$$END$
                $END$
                $IF CHECK_STACK_NONNULL && stk == 0$
                        $ERROR TSK.TEXT_LINE[tskid]$E_PAR: 
                                $FORMAT(_("%1% `%2%\' of `%3%\' in %4% is null"),
                                "stk", TSK.STK[tskid], tskid, "CRE_TSK")$$END$
                $END$
                $tinib = tinib + sizeof_TINIB$
        $END$

$       // éžã‚¿ã‚¹ã‚¯ã‚³ãƒ³ãƒ†ã‚­ã‚¹ãƒˆç”¨ã®ã‚¹ã‚¿ãƒƒã‚¯é ˜åŸŸã®å…
ˆé ­ç•ªåœ°ã®ãƒã‚§ãƒƒã‚¯
        $istk = PEEK(SYMBOL("_kernel_istk"), sizeof_void_ptr)$
        $IF CHECK_STACK_ALIGN && (istk & (CHECK_STACK_ALIGN - 1)) != 0$
                $ERROR ICS.TEXT_LINE[1]$E_PAR: 
                        $FORMAT(_("%1% `%2%\' in %3% is not aligned"),
                        "istk", ICS.ISTK[1], "DEF_ICS")$$END$
        $END$
        $IF CHECK_STACK_NONNULL && istk == 0$
                $ERROR ICS.TEXT_LINE[1]$E_PAR: 
                        $FORMAT(_("%1% `%2%\' in %3% is null"),
                        "istk", ICS.ISTK[1], "DEF_ICS")$$END$
        $END$
$END$

$ 
$  å›ºå®šé•·ãƒ¡ãƒ¢ãƒªãƒ—ãƒ¼ãƒ«é ˜åŸŸã®å…
ˆé ­ç•ªåœ°ã®ãƒã‚§ãƒƒã‚¯
$ 
$IF CHECK_MPF_ALIGN || CHECK_MPF_NONNULL$
$       // å›ºå®šé•·ãƒ¡ãƒ¢ãƒªãƒ—ãƒ¼ãƒ«é ˜åŸŸã®å…
ˆé ­ç•ªåœ°ã®ãƒã‚§ãƒƒã‚¯
        $mpfinib = SYMBOL("_kernel_mpfinib_table")$
        $FOREACH mpfid MPF.ID_LIST$
                $mpf = PEEK(mpfinib + offsetof_MPFINIB_mpf, sizeof_void_ptr)$
                $IF CHECK_MPF_ALIGN && (mpf & (CHECK_MPF_ALIGN - 1)) != 0$
                        $ERROR MPF.TEXT_LINE[mpfid]$E_PAR: 
                                $FORMAT(_("%1% `%2%\' of `%3%\' in %4% is not aligned"),
                                "mpf", MPF.MPF[mpfid], mpfid, "CRE_MPF")$$END$
                $END$
                $IF CHECK_MPF_NONNULL && mpf == 0$
                        $ERROR MPF.TEXT_LINE[mpfid]$E_PAR: 
                                $FORMAT(_("%1% `%2%\' of `%3%\' in %4% is null"),
                                "mpf", MPF.MPF[mpfid], mpfid, "CRE_MPF")$$END$
                $END$
                $mpfinib = mpfinib + sizeof_MPFINIB$
        $END$
$END$