source: asp3_wo_tecs/trunk/target/dummy_gcc/target_kernel_impl.c@ 302

/*
 *  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.c 374 2015-07-30 22:01:54Z ertl-hiro $
 */

/*
 *              ターゲット依存モジュール（ダミーターゲット用）
 */

#include "kernel_impl.h"
#include "task.h"

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

#ifndef LOG_DSP_LEAVE
#define LOG_DSP_LEAVE(p_tcb)
#endif /* LOG_DSP_LEAVE */

/*
 *  ディスパッチャ本体
 */
static void
dispatcher(void)
{
        LOG_DSP_ENTER(p_runtsk);

/* dispatcher_0: */
        p_runtsk = p_schedtsk;
        if (p_runtsk != NULL) {
                /* 自タスク（p_runtsk）のTCBからスタックポインタを復帰する */
                LOG_DSP_LEAVE(p_runtsk);
                /* 自タスクのTCBから実行再開番地を復帰し，そこへ分岐する */
        }

        /*
         *  アイドル処理
         */
        /* 割込みを許可したらCPUロック解除状æ…
‹ã«ãªã‚‹ã‚ˆã†æº–備する */
        /* 割込みをすべて許可する */
        while (true) {
                /* 割込み発生を待
つ */
        }
}

/*
 *  最高優å…
ˆé †ä½ã‚¿ã‚¹ã‚¯ã¸ã®ãƒ‡ã‚£ã‚¹ãƒ‘ッチ
 */
void
dispatch(void)
{
#ifdef TOPPERS_SUPPORT_OVRHDR
        ovrtimer_stop();                                        /* オーバランタイマの停止 */
#endif /* TOPPERS_SUPPORT_OVRHDR */
        /* スクラッチレジスタを除くすべてのレジスタをスタックに保存する */
        /* スタックポインタを自タスク（p_runtsk）のTCBに保存する */
        /* dispatch_rを，実行再開番地として自タスクのTCBに保存する */
        dispatcher();   /* コンパイラの警告抑止のため，ここからは呼ぶ */

/* dispatch_r: */
        /* スクラッチレジスタを除くすべてのレジスタをスタックから復帰する */
#ifdef TOPPERS_SUPPORT_OVRHDR
        ovrtimer_start();                                       /* オーバランタイマの動作開始 */
#endif /* TOPPERS_SUPPORT_OVRHDR */
}

/*
 *  ディスパッチャの動作開始
 */
void
start_dispatch(void)
{
        /* タスクコンテキストに切り換える */
        /* スタックをIDが1ã®ã‚¿ã‚¹ã‚¯ã®ã‚¹ã‚¿ãƒƒã‚¯é ˜åŸŸã«åˆ‡ã‚Šæ›ãˆã‚‹ */
        /* CPUロック状æ…
‹ãƒ»å‰²è¾¼ã¿å„ªå…
ˆåº¦ãƒžã‚¹ã‚¯å…
¨è§£é™¤çŠ¶æ…
‹ã«ã™ã‚‹ */
        /* dispatcher_0に分岐する */
}

/*
 *  現在のコンテキストを捨ててディスパッチ
 */
void
exit_and_dispatch(void)
{
        /* dispatcherに分岐する */
}

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

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

/*
 *  カーネルの終了処理の呼出し
 */
void
call_exit_kernel(void)
{
        /* 非タスクコンテキストに切り換える */
        /* exit_kernelに分岐する */
        while (true);
}

/*
 *  タスク開始時処理
 */
void
start_r(void)
{
#ifdef TOPPERS_SUPPORT_OVRHDR
        ovrtimer_start();                                       /* オーバランタイマの動作開始 */
#endif /* TOPPERS_SUPPORT_OVRHDR */
        /* CPUロック解除状æ…
‹ã«ã™ã‚‹ */
        /* 自タスク（p_runtsk）の起動番地を，拡張情
å ±ã‚’ãƒ‘ãƒ©ãƒ¡ãƒ¼ã‚¿ã¨ã—ã¦å‘¼ã³å‡ºã™ */
        /* ext_tskに分岐する */
}

/*
 *  ターゲット依存の初期化
 */
void
target_initialize(void)
{
}

/*
 *  ターゲット依存の終了処理
 */
void
target_exit(void)
{
        exit(0);
}

/*
 *  システムログの低レベル出力のための文字出力
 */
void
target_fput_log(char c)
{
        /* 文字cを表示/出力/保存する */
}

/*
 *  メイン関数
 */
int
main()
{
        sta_ker();
        return(0);
}