1 | $
|
---|
2 | $ TOPPERS/ASP Kernel
|
---|
3 | $ Toyohashi Open Platform for Embedded Real-Time Systems/
|
---|
4 | $ Advanced Standard Profile Kernel
|
---|
5 | $
|
---|
6 | $ Copyright (C) 2008-2010 by Witz Corporation, JAPAN
|
---|
7 | $
|
---|
8 | $ ãLì ÒÍCȺÌ(1)`(4)Ìðð½·êÉÀèC{\tgEF
|
---|
9 | $ Ai{\tgEFAðüϵ½àÌðÜÞDȺ¯¶jðgpE¡»Eü
|
---|
10 | $ ÏEÄzziȺCpÆÄÔj·é±Æð³Åø·éD
|
---|
11 | $ (1) {\tgEFAð\[XR[hÌ`Åp·éêÉÍCãLÌì
|
---|
12 | $ \¦C±Ìpð¨æѺL̳ÛØKèªC»ÌÜÜÌ`Å\[
|
---|
13 | $ XR[hÉÜÜêÄ¢é±ÆD
|
---|
14 | $ (2) {\tgEFAðCCu`®ÈÇC¼Ì\tgEFAJÉg
|
---|
15 | $ pÅ«é`ÅÄzz·éêÉÍCÄzzɺ¤hL
|
---|
16 | gip
|
---|
17 | $ Ò}j
|
---|
18 | AÈÇjÉCãLÌì \¦C±Ìpð¨æѺL
|
---|
19 | $ ̳ÛØKèðfÚ·é±ÆD
|
---|
20 | $ (3) {\tgEFAðC@íÉgÝÞÈÇC¼Ì\tgEFAJÉg
|
---|
21 | $ pÅ«È¢`ÅÄzz·éêÉÍCÌ¢¸ê©Ìðð½·±
|
---|
22 | $ ÆD
|
---|
23 | $ (a) Äzzɺ¤hL
|
---|
24 | gipÒ}j
|
---|
25 | AÈÇjÉCãLÌ
|
---|
26 | $ ì \¦C±Ìpð¨æѺL̳ÛØKèðfÚ·é±ÆD
|
---|
27 | $ (b) ÄzzÌ`ÔðCÊÉèßéû@ÉæÁÄCTOPPERSvWFNgÉ
|
---|
28 | $ ñ·é±ÆD
|
---|
29 | $ (4) {\tgEFAÌpÉæè¼ÚIܽÍÔÚIɶ¶é¢©Èé¹
|
---|
30 | $ Q©çàCãLì Ò¨æÑTOPPERSvWFNgðÆÓ·é±ÆD
|
---|
31 | $ ܽC{\tgEFAÌ[UܽÍGh[U©çÌ¢©Èé
|
---|
32 | $ RÉîÿ©çàCãLì Ò¨æÑTOPPERSvWFNgð
|
---|
33 | $ ÆÓ·é±ÆD
|
---|
34 | $
|
---|
35 | $ {\tgEFAÍC³ÛØÅñ³êÄ¢éàÌÅ éDãLì Ò¨
|
---|
36 | $ æÑTOPPERSvWFNgÍC{\tgEFAÉÖµÄCÁèÌgpÚI
|
---|
37 | $ ÉηéK«àÜßÄC¢©ÈéÛØàsíÈ¢DܽC{\tgEF
|
---|
38 | $ AÌpÉæè¼ÚIܽÍÔÚIɶ¶½¢©Èé¹QÉÖµÄàC»
|
---|
39 | $ ÌÓCðíÈ¢D
|
---|
40 | $
|
---|
41 | $ @(#) $Id: prc_check.tf 164 2016-03-07 11:33:50Z coas-nagasima $
|
---|
42 | $
|
---|
43 |
|
---|
44 | $
|
---|
45 | $ pX3ÌvZbT˶ev[giRX630pj
|
---|
46 | $
|
---|
47 |
|
---|
48 | $
|
---|
49 | $ `FbNû@Ìwè
|
---|
50 | $
|
---|
51 | $CHECK_FUNC_ALIGN = 1$
|
---|
52 | $CHECK_FUNC_NONNULL = 1$
|
---|
53 | $CHECK_STACK_ALIGN = 4$
|
---|
54 | $CHECK_STACK_NONNULL = 1$
|
---|
55 | $CHECK_MPF_ALIGN = 4$
|
---|
56 | $CHECK_MPF_NONNULL = 1$
|
---|
57 |
|
---|
58 | $
|
---|
59 | $ Wev[gt@CÌCN[h
|
---|
60 | $
|
---|
61 | $INCLUDE "kernel/kernel_check.tf"$
|
---|