/*
 *  TOPPERS/SSP Kernel
 *      Smallest Set Profile Kernel
 *
 *  Copyright (C) 2008 by Witz Corporation, JAPAN
 *  Copyright (C) 2011 by Naoki Saito
 *             Nagoya Municipal Industrial Research Institute, JAPAN
 * 
 *  上記著作権者は，以下の (1)〜(4) の条件を満たす場合に限り，本ソフトウェ
 *  ア（本ソフトウェアを改変したものを含む．以下同じ）を使用・複製・改変・
 *  再配布（以下，利用と呼ぶ）することを無償で許諾する．
 *  (1) 本ソフトウェアをソースコードの形で利用する場合には，上記の著作権
 *      表示，この利用条件および下記の無保証規定が，そのままの形でソース
 *      コード中に含まれていること．
 *  (2) 本ソフトウェアを，ライブラリ形式など，他のソフトウェア開発に使用
 *      できる形で再配布する場合には，再配布に伴うドキュメント（利用者マ
 *      ニュアルなど）に，上記の著作権表示，この利用条件および下記の無保
 *      証規定を掲載すること．
 *  (3) 本ソフトウェアを，機器に組み込むなど，他のソフトウェア開発に使用
 *      できない形で再配布する場合には，次のいずれかの条件を満たすこと．
 *    (a) 再配布に伴うドキュメント（利用者マニュアルなど）に，上記の著作
 *        権表示，この利用条件および下記の無保証規定を掲載すること．
 *    (b) 再配布の形態を，別に定める方法によって，TOPPERSプロジェクトに報
 *        告すること．
 *  (4) 本ソフトウェアの利用により直接的または間接的に生じるいかなる損害
 *      からも，上記著作権者およびTOPPERSプロジェクトを免責すること．また，
 *      本ソフトウェアのユーザまたはエンドユーザからのいかなる理由に基づ
 *      く請求からも，上記著作権者およびTOPPERSプロジェクトを免責すること．
 * 
 *  本ソフトウェアは，無保証で提供されているものである．上記著作権者およ
 *  びTOPPERSプロジェクトは，本ソフトウェアに関して，特定の使用目的に対す
 *  る適合性も含めて，いかなる保証も行わない．また，本ソフトウェアの利用
 *  により直接的または間接的に生じたいかなる損害に関しても，その責任を負
 *  わない．
 * 
 */

/*
 *		kernel.h プロセッサ依存部（M16Cファミリ共通部分）
 *
 *  このインクルードファイルは，target_kernel.h（または，そこからインク
 *  ルードされるファイル）のみからインクルードされる．他のファイルから
 *  直接インクルードしてはならない．
 */

#ifndef TOPPERS_PRC_KERNEL_H
#define TOPPERS_PRC_KERNEL_H

/*
 *  カーネル本体をコンパイルするためのマクロ定義
 *
 *  本環境では1関数を1オブジェクトファイルにコンパイルすることができないため，
 *  ALLFUNCマクロを定義する．
 */

#define ALLFUNC

/*
 *  サポートする機能の定義
 */
#define TOPPERS_TARGET_SUPPORT_DIS_INT			/* dis_intをサポートする */
#define TOPPERS_TARGET_SUPPORT_ENA_INT			/* ena_intをサポートする */

/*
 *  カーネル管理の割込み優先度の範囲
 *
 *  カーネル管理の割込み優先度の最大値及び最小値の定義．
 *  最大値は -1 固定で，これは統合仕様書にあるように対称性の観点で用意されている．
 *  最小値 TMIN_INTPRI に設定可能な値の範囲は，-7, ..., -1 である．
 *
 *  例えば TMIN_INTPRI を -5 に設定すると，NMI に加え割込み優先度が
 *  -6 及び -7 に設定されている割込み要求ラインからの割込みが
 *  カーネル管理外の割込みとなる．
 *  また，TMIN_INTPRI を -7 に設定した場合，NMI 以外にカーネル管理外の割込みを
 *  設けないという意味になる．
 */
#ifndef TMIN_INTPRI
#define TMIN_INTPRI		(-5)		/* 割込み優先度の最小値（最高値）*/
#endif /* TMIN_INTPRI */
#define TMAX_INTPRI		(-1)		/* 割込み優先度の最大値（最低値） */

/*
 *  割り込み属性
 */
#define	TA_POSEDGE		TA_EDGE			/* ポジティブエッジトリガ */
#define	TA_NEGEDGE		UINT_C(0x04)	/* ネガティブエッジトリガ */

#define	TA_HIGHLEVEL	UINT_C(0x08)	/* Hレベル */
#define	TA_LOWLEVEL		UINT_C(0x10)	/* Lレベル */


#define BIT_FIELD_BOOL unsigned char

#endif /* TOPPERS_PRC_KERNEL_H */