source: extension/ovrhdr/kernel/kernel_check.tf

$ ======================================================================
$ 
$   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$
$  
$ =====================================================================

$
$  ¥Ç¡Œ¥¿¥»¥¯¥·¥ç¥ó€Î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$

$       // ¥ª¡Œ¥Ð¥é¥ó¥Ï¥ó¥É¥é€ÎÀèƬÈÖÃπΥÁ¥§¥Ã¥¯
        $ovrinib = SYMBOL("_kernel_ovrinib")$
        $IF LENGTH(OVR.ORDER_LIST)$
                $ovrhdr = PEEK(ovrinib + offsetof_OVRINIB_ovrhdr, sizeof_FP)$
                $IF CHECK_FUNC_ALIGN && (ovrhdr & (CHECK_FUNC_ALIGN - 1)) != 0$
                        $ERROR OVR.TEXT_LINE[1]$E_PAR: 
                                $FORMAT(_("%1% `%2%\' in %4% is not aligned"),
                                "ovrhdr", OVR.OVRHDR[1], "DEF_OVR")$$END$
                $END$
                $IF CHECK_FUNC_NONNULL && ovrhdr == 0$
                        $ERROR OVR.TEXT_LINE[1]$E_PAR: 
                                $FORMAT(_("%1% `%2%\' in %3% is null"),
                                "ovrhdr", OVR.OVRHDR[1], "DEF_OVR")$$END$
                $END$
        $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$