source: ssp_aarch64/trunk/arm64_gcc/prc_config.h@ 353

/*
 *  TOPPERS/SSP Kernel
 *      Smallest Set Profile Kernel
 *
 *  Copyright (C) 2008 by Embedded and Real-Time Systems Laboratory
 *              Graduate School of Information Science, Nagoya Univ., JAPAN
 *  Copyright (C) 2015,2018 by Naoki Saito
 *             Nagoya Municipal Industrial Research Institute, JAPAN
 *
 *  上記著作権者
は，以下の(1)〜(4)ã®æ¡ä»¶ã‚’æº€ãŸã™å ´åˆã«é™ã‚Šï¼Œæœ¬ã‚½ãƒ•ãƒˆã‚¦ã‚§
 *  ア（本ソフトウェアを改変したものを含む．以下同じ）を使用・複製・改
 *  変・再é…
å¸ƒï¼ˆä»¥ä¸‹ï¼Œåˆ©ç”¨ã¨å‘¼ã¶ï¼‰ã™ã‚‹ã“とを無償で許諾する．
 *  (1) æœ¬ã‚½ãƒ•ãƒˆã‚¦ã‚§ã‚¢ã‚’ã‚½ãƒ¼ã‚¹ã‚³ãƒ¼ãƒ‰ã®å½¢ã§åˆ©ç”¨ã™ã‚‹å ´åˆã«ã¯ï¼Œä¸Šè¨˜ã®è‘—ä½œ
 *      権表示，この利用条件および下記の無保証規定が，そのままの形でソー
 *      スコード中に含まれていること．
 *  (2) 本ソフトウェアを，ライブラリ形式など，他のソフトウェア開発に使
 *      用できる形で再é…
å¸ƒã™ã‚‹å ´åˆã«ã¯ï¼Œå†é…
å¸ƒã«ä¼´ã†ãƒ‰ã‚­ãƒ¥ãƒ¡ãƒ³ãƒˆï¼ˆåˆ©ç”¨
 *      者
マニュアルなど）に，上記の著作権表示，この利用条件および下記
 *      の無保証規定を掲載すること．
 *  (3) 本ソフトウェアを，機器に組み込むなど，他のソフトウェア開発に使
 *      用できない形で再é…
å¸ƒã™ã‚‹å ´åˆã«ã¯ï¼Œæ¬¡ã®ã„ずれかの条件を満たすこ
 *      と．
 *    (a) 再é…
å¸ƒã«ä¼´ã†ãƒ‰ã‚­ãƒ¥ãƒ¡ãƒ³ãƒˆï¼ˆåˆ©ç”¨è€…
マニュアルなど）に，上記の著
 *        作権表示，この利用条件および下記の無保証規定を掲載すること．
 *    (b) 再é…
å¸ƒã®å½¢æ…
‹ã‚’，別に定める方法によって，TOPPERSプロジェクトに
 *        å ±å‘Šã™ã‚‹ã“ã¨ï¼Ž
 *  (4) 本ソフトウェアの利用により直接的または間接的に生じるいかなる損
 *      害からも，上記著作権者
およびTOPPERSプロジェクトをå…
è²¬ã™ã‚‹ã“と．
 *      また，本ソフトウェアのユーザまたはエンドユーザからのいかなる理
 *      由に基づく請求からも，上記著作権者
およびTOPPERSプロジェクトを
 *      å…
è²¬ã™ã‚‹ã“と．
 *
 *  本ソフトウェアは，無保証で提供されているものである．上記著作権者
お
 *  よびTOPPERSプロジェクトは，本ソフトウェアに関して，特定の使用目的
 *  に対する適合性も含めて，いかなる保証も行わない．また，本ソフトウェ
 *  アの利用により直接的または間接的に生じたいかなる損害に関しても，そ
 *  ã®è²¬ä»»ã‚’è² ã‚ãªã„ï¼Ž
 *
 *  @(#) $Id: prc_config.h 1304 2008-08-27 07:28:36Z ertl-honda $
 */

/*
 *              プロセッサ依存モジュール（ARM64用）
 *
 *  このインクルードファイルは，target_config.h（または，そこからインク
 *  ルードされるファイル）のみからインクルードされる．他のファイルから
 *  直接インクルードしてはならない．
 */

#ifndef TOPPERS_PRC_CONFIG_H
#define TOPPERS_PRC_CONFIG_H

#include "gic_config.h"

#ifndef TOPPERS_MACRO_ONLY

/*
 *  非タスクコンテキスト用のスタック初期値
 */
#define TOPPERS_ISTKPT(istk, istksz) ((STK_T *)((char *)(istk) + (istksz)))

/*
 *  割込みネスト数
 */
extern uint8_t intnest;

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

        if (intnest > 0u){
                ctx = true;
        }
        else {
                ctx = false;
        }

        return ctx;
}

#endif /* TOPPERS_MACRO_ONLY */

/*
 *  TOPPERS標準割込み処理モデルの実現
 *
 *  å…
¨å‰²è¾¼ã¿ãƒ­ãƒƒã‚¯ãƒ•ãƒ©ã‚°ã¨ã—て PSTATE.F および PSTATE.I を用いる
 *  CPUロックフラグとして PSTATE.I　を用いる
 *  割込み優å…
ˆåº¦ãƒžã‚¹ã‚¯ã¨ã—て GICC_PMR レジスタを用いる．
 */

/*
 *  TIPM_ENAALL（割込み優å…
ˆåº¦ãƒžã‚¹ã‚¯å…
¨è§£é™¤ï¼‰ã®å†…
部表現
 */
#define IIPM_ENAALL  (0)


#ifndef TOPPERS_MACRO_ONLY

/*
 *  CPUロック状æ…
‹ã¸ã®ç§»è¡Œ
 */
Inline void
x_lock_cpu(void)
{
    aarch64_set_daif_if();
}

#define t_lock_cpu()    x_lock_cpu()
#define i_lock_cpu()    x_lock_cpu()

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

#define t_unlock_cpu()    x_unlock_cpu()
#define i_unlock_cpu()    x_unlock_cpu()

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

    if(aarch64_sense_daif_irq() && aarch64_sense_daif_fiq()) {
        state = true;
    }
    else {
        state = false;
    }

    return state;
}

#define t_sense_lock()    x_sense_lock()
#define i_sense_lock()    x_sense_lock()


/*
 * （モデル上の）割込み優å…
ˆåº¦ãƒžã‚¹ã‚¯ã®è¨­å®š
 *
 *  CPUロックフラグがクリアされている時は，ハードウェアの割込み優å…
ˆåº¦ãƒž
 *  スクを設定する．CPUロックフラグがセットされている時は，saved_iipm
 *  を設定し，さらに，ハードウェアの割込み優å…
ˆåº¦ãƒžã‚¹ã‚¯ã‚’，設定しようと
 *  した（モデル上の）割込み優å…
ˆåº¦ãƒžã‚¹ã‚¯ã¨TIPM_LOCKの高い方に設定する．
 */
Inline void
x_set_ipm(PRI intpri)
{
    gicc_set_priority(INT_IPM(intpri));
}

#define t_set_ipm(intpri)    x_set_ipm(intpri)
#define i_set_ipm(intpri)    x_set_ipm(intpri)

/*
 * （モデル上の）割込み優å…
ˆåº¦ãƒžã‚¹ã‚¯ã®å‚ç…
§
 *
 *  CPUロックフラグがクリアされている時はハードウェアの割込み優å…
ˆåº¦ãƒž
 *  スクを，セットされている時はsaved_iipmを参ç…
§ã™ã‚‹ï¼Ž
 */
Inline PRI
x_get_ipm(void)
{
    return(EXT_IPM(gicc_get_priority()));
}

#define t_get_ipm()    x_get_ipm()
#define i_get_ipm()    x_get_ipm()

/*
 *  ディスパッチャの動作開始（prc_support.S）
 *
 *  start_dispatchは，カーネル起動時に呼び出すべきもので，すべての割込
 *  みを禁止した状æ…
‹ï¼ˆå‰²è¾¼ã¿ãƒ­ãƒƒã‚¯çŠ¶æ…
‹ã¨åŒç­‰ã®çŠ¶æ…
‹ï¼‰ã§å‘¼ã³å‡ºã•ãªã‘れば
 *  ならない．
 */
extern void start_dispatch(void) NoReturn;


/*
 *  カーネルの終了処理の呼出し（prc_support.S）
 *
 *  call_exit_kernelは，カーネルの終了時に呼び出すべきもので，非タスク
 *  コンテキストに切り換えて，カーネルの終了処理（exit_kernel）を呼び出
 *  す．
 */
extern void call_exit_kernel(void) NoReturn;

/*
 *  アイドルループの実装

 *
 *  単にCPUロック状æ…
‹ã¨CPUロック解除状æ…
‹ã‚’呼び出す実装
とする．
 *  スリープモードにå…
¥ã‚Œã‚‹å ´åˆã¯æœ¬å‡¦ç†ã‚’wfi命令を用いて書き換えれば良い．
 */
Inline void
idle_loop(void)
{
    x_unlock_cpu();
    /* CPUアンロック => CPUロック  */
    x_lock_cpu();
}

/*
 *  割込み番号・割込みハンドラ番号
 *
 *  割込みハンドラ番号(inhno)と割込み番号(intno)は，
 *  割り込み発生時にGICC_IAR に設定される例外番号とする．
 */

/*
 *  割込み番号の範囲の判定
 */
#define VALID_INTNO(intno)           ((TMIN_INTNO <= (intno)) && ((intno) <= TMAX_INTNO))
#define VALID_INTNO_DISINT(intno)    VALID_INTNO(intno)
#define VALID_INTNO_CFGINT(intno)    VALID_INTNO(intno)

/*
 *  割込みハンドラの設定
 */
Inline void
x_define_inh(INHNO inhno, FP int_entry)
{
}

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

/*
 *  割込み要求禁止フラグ
 */

/*
 *  割込み要求ライン設定テーブル（kernel_cfg.c）
 *
 *  割込み属性が設定されているかを判別するためのテーブル（kernel_cfg.c）
 *  割込み要求ラインに対して割込み属性が設定されていれば1，設定されてい
 *  なければ0を保持するテーブル．
 */
extern const uint8_t intcfg_table[];


/*
 *  割込み要求禁止フラグのセット
 *
 *  intnoで指定された割込み要求ラインに対する割込み要求禁止フラグのセッ
 *  トし，割込みを禁止する．割込み属性が設定されていない割込み要求ライ
 *  ãƒ³ãŒæŒ‡å®šã•ã‚ŒãŸå ´åˆã«ã¯ï¼Œfalseを返す．
 */
Inline bool_t
x_disable_int(INTNO intno)
{
    if (intcfg_table[intno] == 0U) {
        return(false);
    }
    gicd_disable_int(intno);
    return(true);
}


#define t_disable_int(intno) x_disable_int(intno)
#define i_disable_int(intno) x_disable_int(intno)

/*
 *  割込み要求禁止フラグのクリア
 *
 *  intnoで指定された割込み要求ラインに対する割込み要求禁止フラグのクリ
 *  アし，割込みを許可する．割込み属性が設定されていない割込み要求ライ
 *  ãƒ³ãŒæŒ‡å®šã•ã‚ŒãŸå ´åˆã«ã¯ï¼Œfalseを返す．
 */
Inline bool_t
x_enable_int(INTNO intno)
{
    if (intcfg_table[intno] == 0U) {
        return(false);
    }
    gicd_enable_int(intno);
    return(true);
}


#define t_enable_int(intno) x_enable_int(intno)
#define i_enable_int(intno) x_enable_int(intno)

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

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


/*
 *  割込み要求ラインの属性の設定
 */
extern void x_config_int(INTNO intno, ATR intatr, PRI intpri);

/*
 *  割込みハンドラå…
¥å£ã§å¿…
要なIRC操作
 */
Inline void
i_begin_int(INTNO intno)
{
}

/*
 *  割込みハンドラの出口で必
要なIRC操作
 */
Inline void
i_end_int(INTNO intno)
{
}

/*
 *  CPU例外ハンドラ関連
 */

/*
 *  CPU例外ハンドラ番号
 */
#define VALID_EXCNO_DEFEXC(excno)    (TMIN_EXCNO <= (excno) && (excno) <= TMAX_EXCNO)

/*
 *  CPU例外ハンドラの設定
 */
Inline void
x_define_exc(EXCNO excno, FP exc_entry)
{
}

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

/*
 *  プロセッサ依存の初期化
 */
extern void prc_initialize(void);

/*
 *  プロセッサ依存の終了時処理
 */
extern void prc_terminate(void) NoReturn;

/*
 * 登録されていない例外が発生すると呼び出される
 */
extern void default_exc_handler(void *p_excinf);

/*
 * æœªç™»éŒ²ã®å‰²è¾¼ã¿ãŒç™ºç”Ÿã—ãŸå ´åˆã«å‘¼ã³å‡ºã•ã‚Œã‚‹
 */
extern void default_int_handler(void);

/*
 *  割込み/例外ハンドラテーブル(kernel_cfg.c)
 */
extern const INTHDR inh_table[];
extern const EXCHDR exc_table[];

/*
 *  割込みハンドラの呼び出し
 */
extern void call_int_handler(uint32_t intno);

/*
 *  CPU例外ハンドラの呼び出し
 */
extern void call_exc_handler(void *p_excinf, uint32_t excno);

#endif /* TOPPERS_MACRO_ONLY */
#endif /* TOPPERS_PRC_CONFIG_H */