3 * Toyohashi Open Platform for Embedded Real-Time Systems/
4 * Just Standard Profile Kernel
6 * Copyright (C) 2000-2003 by Embedded and Real-Time Systems Laboratory
7 * Toyohashi Univ. of Technology, JAPAN
9 * 上記著作権者は,以下の (1)〜(4) の条件か,Free Software Foundation
10 * によって公表されている GNU General Public License の Version 2 に記
11 * 述されている条件を満たす場合に限り,本ソフトウェア(本ソフトウェア
12 * を改変したものを含む.以下同じ)を使用・複製・改変・再配布(以下,
14 * (1) 本ソフトウェアをソースコードの形で利用する場合には,上記の著作
15 * 権表示,この利用条件および下記の無保証規定が,そのままの形でソー
17 * (2) 本ソフトウェアを,ライブラリ形式など,他のソフトウェア開発に使
18 * 用できる形で再配布する場合には,再配布に伴うドキュメント(利用
19 * 者マニュアルなど)に,上記の著作権表示,この利用条件および下記
21 * (3) 本ソフトウェアを,機器に組み込むなど,他のソフトウェア開発に使
22 * 用できない形で再配布する場合には,次のいずれかの条件を満たすこ
24 * (a) 再配布に伴うドキュメント(利用者マニュアルなど)に,上記の著
25 * 作権表示,この利用条件および下記の無保証規定を掲載すること.
26 * (b) 再配布の形態を,別に定める方法によって,TOPPERSプロジェクトに
28 * (4) 本ソフトウェアの利用により直接的または間接的に生じるいかなる損
29 * 害からも,上記著作権者およびTOPPERSプロジェクトを免責すること.
31 * 本ソフトウェアは,無保証で提供されているものである.上記著作権者お
32 * よびTOPPERSプロジェクトは,本ソフトウェアに関して,その適用可能性も
33 * 含めて,いかなる保証も行わない.また,本ソフトウェアの利用により直
34 * 接的または間接的に生じたいかなる損害に関しても,その責任を負わない.
36 * @(#) $Id: jsp_kernel.h,v 1.1 2009/01/31 05:27:37 suikan Exp $
40 * JSPカーネル 標準インクルードファイル
42 * このインクルードファイルは,カーネルを構成するプログラムのソースファ
43 * イルで必ずインクルードするべき標準インクルードファイルである.
45 * アセンブリ言語のソースファイルやシステムコンフィギュレーションファ
46 * イルからこのファイルをインクルードする時は,_MACRO_ONLY を定義して
47 * おくことで,マクロ定義以外の記述を除くことができる.
50 #ifndef _JSP_KERNEL_H_
51 #define _JSP_KERNEL_H_
56 #include "jsp_rename.h"
59 * アプリケーションと共通のインクルードファイル
71 #define TMIN_TSKID 1 /* タスクIDの最小値 */
72 #define TMIN_SEMID 1 /* セマフォIDの最小値 */
73 #define TMIN_FLGID 1 /* フラグIDの最小値 */
74 #define TMIN_DTQID 1 /* データキューIDの最小値 */
75 #define TMIN_MBXID 1 /* メールボックスIDの最小値 */
76 #define TMIN_MPFID 1 /* 固定長メモリプールIDの最小値 */
77 #define TMIN_CYCID 1 /* 周期ハンドラIDの最小値 */
82 #define TNUM_TPRI (TMAX_TPRI - TMIN_TPRI + 1)
83 #define TNUM_MPRI (TMAX_MPRI - TMIN_MPRI + 1)
91 * ヘッダファイルを持たないモジュールの関数・変数の宣言
96 * 各モジュールの初期化(kernel_cfg.c)
98 extern void object_initialize(void);
101 * 初期化ルーチンの実行(kernel_cfg.c)
103 extern void call_inirtn(void);
106 * 終了処理ルーチンの実行(kernel_cfg.c)
108 extern void call_terrtn(void);
111 * 起動メッセージの表示(banner.c)
113 extern void print_banner(void);
116 * カーネルの終了処理(startup.c)
118 extern void kernel_exit(void);
121 * カーネル動作状態フラグ(startup.c)
125 #endif /* _MACRO_ONLY */
126 #endif /* _JSP_KERNEL_H_ */