$ ====================================================================== $ $ TOPPERS/ASP Kernel $ Toyohashi Open Platform for Embedded Real-Time Systems/ $ Advanced Standard Profile Kernel $ $ Copyright (C) 2008-2010 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 167 2016-03-08 11:37:45Z coas-nagasima $ $ $ ===================================================================== $ $ データセクションの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$ $ // 割込みサービスルーチンの先頭番地のチェック $isrinib = SYMBOL("_kernel_sisrinib_table")$ $FOREACH order ISR.ORDER_LIST$ $isr = PEEK(isrinib + offsetof_ISRINIB_isr, sizeof_FP)$ $IF CHECK_FUNC_ALIGN && (isr & (CHECK_FUNC_ALIGN - 1)) != 0$ $ERROR ISR.TEXT_LINE[order]$E_PAR: $FORMAT(_("%1% `%2%\' in %4% is not aligned"), "isr", ISR.ISR[order], "ATT_ISR")$$END$ $END$ $IF CHECK_FUNC_NONNULL && isr == 0$ $ERROR ISR.TEXT_LINE[order]$E_PAR: $FORMAT(_("%1% `%2%\' in %4% is null"), "isr", ISR.ISR[order], "ATT_ISR")$$END$ $END$ $isrinib = isrinib + sizeof_ISRINIB$ $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$ $ $ カーネルが割り付けるメモリ領域の先頭番地のチェック $ $IF CHECK_MB_ALIGN$ $ // カーネルが割り付けるメモリ領域の先頭番地のチェック $kmm = PEEK(SYMBOL("_kernel_kmm"), sizeof_void_ptr)$ $IF CHECK_MB_ALIGN && (kmm & (CHECK_MB_ALIGN - 1)) != 0$ $ERROR KMM.TEXT_LINE[1]$E_PAR: $FORMAT(_("%1% `%2%\' in %3% is not aligned"), "kmm", KMM.KMM[1], "DEF_KMM")$$END$ $END$ $END$