source: asp3_wo_tecs/trunk/target/dummy_gcc/target_kernel_impl.h@ 305

/*
 *  TOPPERS/ASP Kernel
 *      Toyohashi Open Platform for Embedded Real-Time Systems/
 *      Advanced Standard Profile Kernel
 * 
 *  Copyright (C) 2013-2015 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: target_kernel_impl.h 471 2015-12-30 10:03:16Z ertl-hiro $
 */

/*
 *              カーネルのターゲット依存部（ダミーターゲット用）
 *
 *  カーネルのターゲット依存部のヘッダファイル．kernel_impl.hのターゲッ
 *  ト依存部の位置付けとなる．
 */

#ifndef TOPPERS_TARGET_KERNEL_IMPL_H
#define TOPPERS_TARGET_KERNEL_IMPL_H

#include <kernel.h>

/*
 *  ターゲットシステムのハードウェア資源の定義
 */
#include "dummy.h"

/*
 *  エラーチェック方法の指定
 */
#define CHECK_STKSZ_ALIGN       4       /* スタックサイズのアライン単位 */
#define CHECK_INTPTR_ALIGN      4       /* intptr_t型の変数のアライン単位 */
#define CHECK_INTPTR_NONNULL    /* intptr_t型の変数の非NULLチェック */
#define CHECK_FUNC_ALIGN        4       /* 関数のアライン単位 */
#define CHECK_FUNC_NONNULL              /* 関数の非NULLチェック */
#define CHECK_STACK_ALIGN       4       /* ã‚¹ã‚¿ãƒƒã‚¯é ˜åŸŸã®ã‚¢ãƒ©ã‚¤ãƒ³å˜ä½ */
#define CHECK_STACK_NONNULL             /* ã‚¹ã‚¿ãƒƒã‚¯é ˜åŸŸã®éžNULLチェック */
#define CHECK_MPF_ALIGN         4       /* å›ºå®šé•·ãƒ¡ãƒ¢ãƒªãƒ—ãƒ¼ãƒ«é ˜åŸŸã®ã‚¢ãƒ©ã‚¤ãƒ³å˜ä½ */
#define CHECK_MPF_NONNULL               /* å›ºå®šé•·ãƒ¡ãƒ¢ãƒªãƒ—ãƒ¼ãƒ«é ˜åŸŸã®éžNULLチェック */
#define CHECK_MB_ALIGN          4       /* ç®¡ç†é ˜åŸŸã®ã‚¢ãƒ©ã‚¤ãƒ³å˜ä½ */

/*
 *  トレースログに関する設定
 */
#ifdef TOPPERS_ENABLE_TRACE
#include "arch/logtrace/trace_config.h"
#endif /* TOPPERS_ENABLE_TRACE */

/*
 *  トレースログマクロのデフォルト定義
 */
#ifndef LOG_INH_ENTER
#define LOG_INH_ENTER(inhno)
#endif /* LOG_INH_ENTER */

#ifndef LOG_INH_LEAVE
#define LOG_INH_LEAVE(inhno)
#endif /* LOG_INH_LEAVE */

#ifndef LOG_EXC_ENTER
#define LOG_EXC_ENTER(excno)
#endif /* LOG_EXC_ENTER */

#ifndef LOG_EXC_LEAVE
#define LOG_EXC_LEAVE(excno)
#endif /* LOG_EXC_LEAVE */

/*
 *  非タスクコンテキスト用スタックのデフォルトのサイズ
 */
#define DEFAULT_ISTKSZ                  4096

#ifndef TOPPERS_MACRO_ONLY

/*
 *  タスクコンテキストブロックの定義
 */
typedef struct task_context_block {
        void            *sp;                    /* スタックポインタ */
        void            *pc;                    /* 実行再開番地 */
} TSKCTXB;

/*
 *  コンテキストの参ç…
§
 */
Inline bool_t
sense_context(void)
{
        return(false);
}

/*
 *  CPUロック状æ…
‹ã¸ã®é·ç§»
 */
Inline void
lock_cpu(void)
{
}

/*
 *  CPUロック状æ…
‹ã¸ã®ç§»è¡Œï¼ˆãƒ‡ã‚£ã‚¹ãƒ‘ッチできる状æ…
‹ï¼‰
 */
#define lock_cpu_dsp()          lock_cpu()

/*
 *  CPUロック状æ…
‹ã®è§£é™¤
 */
Inline void
unlock_cpu(void)
{
}

/*
 *  CPUロック状æ…
‹ã®è§£é™¤ï¼ˆãƒ‡ã‚£ã‚¹ãƒ‘ッチできる状æ…
‹ï¼‰
 */
#define unlock_cpu_dsp()        unlock_cpu()

/*
 *  CPUロック状æ…
‹ã®å‚ç…
§
 */
Inline bool_t
sense_lock(void)
{
        return(false);
}

/*
 *  割込みを受け付けるための遅
延処理
 */
Inline void
delay_for_interrupt(void)
{
}

/*
 *  割込み優å…
ˆåº¦ãƒžã‚¹ã‚¯ã®è¨­å®š
 */
Inline void
t_set_ipm(PRI intpri)
{
}

/*
 *  割込み優å…
ˆåº¦ãƒžã‚¹ã‚¯ã®å‚ç…
§
 */
Inline PRI
t_get_ipm(void)
{
        return(TIPM_ENAALL);
}

/*
 *  割込み番号，割込みハンドラ番号，CPU例外ハンドラ番号の範囲の判定
 */
#define VALID_INTNO(intno)      (0U <= (intno) && (intno) <= 31U)
#define VALID_INHNO(inhno)      VALID_INTNO((INTNO)(inhno))
#define VALID_EXCNO(excno)      (0U <= (excno) && (excno) <= 7U)

/*
 *  割込み要求禁止フラグのセット
 *
 *  割込み属性が設定されていない割込み要求ラインに対して割込み要求禁止
 *  ãƒ•ãƒ©ã‚°ã‚’ã‚»ãƒƒãƒˆã—ã‚ˆã†ã¨ã—ãŸå ´åˆã«ã¯ï¼Œfalseを返す．
 */
Inline bool_t
disable_int(INTNO intno)
{
        return(true);
}

/*
 *  割込み要求禁止フラグのクリア
 *
 *  割込み属性が設定されていない割込み要求ラインに対して割込み要求禁止
 *  ãƒ•ãƒ©ã‚°ã‚’ã‚¯ãƒªã‚¢ã—ã‚ˆã†ã¨ã—ãŸå ´åˆã«ã¯ï¼Œfalseを返す．
 */
Inline bool_t
enable_int(INTNO intno)
{
        return(true);
}

/*
 *  割込み要求のクリア
 */
Inline void
clear_int(INTNO intno)
{
}

/*
 *  割込み要求のチェック
 */
Inline bool_t
probe_int(INTNO intno)
{
        return(true);
}

/*
 *  最高優å…
ˆé †ä½ã‚¿ã‚¹ã‚¯ã¸ã®ãƒ‡ã‚£ã‚¹ãƒ‘ッチ
 */
extern void     dispatch(void);

/*
 *  非タスクコンテキストからのディスパッチ要求
 */
#define request_dispatch()

/*
 *  ディスパッチャの動作開始
 */
extern void start_dispatch(void);

/*
 *  現在のコンテキストを捨ててディスパッチ
 */
extern void     exit_and_dispatch(void);

/*
 *  割込みハンドラ出å…
¥å£å‡¦ç†
 */
extern void     int_handler_entry(void);

/*
 *  CPU例外ハンドラ出å…
¥å£å‡¦ç†
 */
extern void     exc_handler_entry(void);

/*
 *  カーネルの終了処理の呼出し
 */
extern void call_exit_kernel(void) NoReturn;

/*
 *  タスクコンテキストの初期化
 */
extern void     start_r(void);

#define activate_context(p_tcb) \
        /* 指定されたタスク（p_tcb）のTCB中のスタックポインタを初期化する */
        /* start_rを，実行再開番地として自タスクのTCBに保存する */

/*
 *  割込みハンドラの設定
 *
 *  ベクトル番号inhnoの割込みハンドラの出å…
¥å£å‡¦ç†ã®ç•ªåœ°ã‚’int_entryに
 *  設定する．
 */
Inline void
define_inh(INHNO inhno, FP int_entry)
{
}

/*
 *  割込み要求ライン属性の設定
 */
Inline void
config_int(INTNO intno, ATR intatr, PRI intpri)
{
}

/*
 *  CPU例外ハンドラの設定
 *
 *  ベクトル番号excnoのCPU例外ハンドラの出å…
¥å£å‡¦ç†ã®ç•ªåœ°ã‚’exc_entryに設
 *  定する．
 */
Inline void
define_exc(EXCNO excno, FP exc_entry)
{
}

/*
 *  オーバランハンドラ停止のためのマクロ
 */
#ifdef TOPPERS_SUPPORT_OVRHDR
#define OVRTIMER_STOP() {                               \
                        lock_cpu();                                     \
                        _kernel_ovrtimer_stop();        \
                        unlock_cpu();                           \
                }
#else /* TOPPERS_SUPPORT_OVRHDR */
#define OVRTIMER_STOP()
#endif /* TOPPERS_SUPPORT_OVRHDR */

/*
 *  割込みハンドラのå…
¥å£å‡¦ç†ã®ç”Ÿæˆãƒžã‚¯ãƒ­
 */
#define INT_ENTRY(inhno, inthdr)        inthdr
#define INTHDR_ENTRY(inhno, inthdr, intpri)

/*
 *  CPU例外ハンドラのå…
¥å£å‡¦ç†ã®ç”Ÿæˆãƒžã‚¯ãƒ­
 */
#define EXC_ENTRY(excno, exchdr)        exchdr
#define EXCHDR_ENTRY(excno, excno_num, exchdr)

/*
 *  CPU例外の発生した時のコンテキストと割込みのマスク状æ…
‹ã®å‚ç…
§
 *
 *  CPU例外の発生した時のシステム状æ…
‹ãŒï¼Œã‚«ãƒ¼ãƒãƒ«å†…
のクリティカルセクショ
 *  ンの実行中でなく，å…
¨å‰²è¾¼ã¿ãƒ­ãƒƒã‚¯çŠ¶æ…
‹ã§ãªãï¼ŒCPUロック状æ…
‹ã§ãªãï¼Œã‚«ãƒ¼
 *  ネル管理外の割込みハンドラ実行中でなく，カーネル管理外のCPU例外ハン
 *  ドラ実行中でなく，タスクコンテキストであり，割込み優å…
ˆåº¦ãƒžã‚¹ã‚¯ãŒå…
¨
 *  解除である時にtrue，そうでない時にfalseを返す．
 */
Inline bool_t
exc_sense_intmask(void *p_excinf)
{
        return(true);
}

/*
 *  ターゲットシステム依存の初期化
 */
extern void     target_initialize(void);

/*
 *  ターゲットシステムの終了
 *
 *  システムを終了する時に使う．
 */
extern void     target_exit(void) NoReturn;

#endif /* TOPPERS_MACRO_ONLY */
#endif /* TOPPERS_TARGET_KERNEL_IMPL_H */