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 * TOPPERS/JSP for Blackfin
11 * Copyright (C) 2004,2006,2006 by Takemasa Nakamura
12 * Copyright (C) 2004 by Ujinosuke
14 * 上記著作権者は,以下の (1)〜(4) の条件か,Free Software Foundation
15 * によって公表されている GNU General Public License の Version 2 に記
16 * 述されている条件を満たす場合に限り,本ソフトウェア(本ソフトウェア
17 * を改変したものを含む.以下同じ)を使用・複製・改変・再配布(以下,
19 * (1) 本ソフトウェアをソースコードの形で利用する場合には,上記の著作
20 * 権表示,この利用条件および下記の無保証規定が,そのままの形でソー
22 * (2) 本ソフトウェアを,ライブラリ形式など,他のソフトウェア開発に使
23 * 用できる形で再配布する場合には,再配布に伴うドキュメント(利用
24 * 者マニュアルなど)に,上記の著作権表示,この利用条件および下記
26 * (3) 本ソフトウェアを,機器に組み込むなど,他のソフトウェア開発に使
27 * 用できない形で再配布する場合には,次のいずれかの条件を満たすこ
29 * (a) 再配布に伴うドキュメント(利用者マニュアルなど)に,上記の著
30 * 作権表示,この利用条件および下記の無保証規定を掲載すること.
31 * (b) 再配布の形態を,別に定める方法によって,TOPPERSプロジェクトに
33 * (4) 本ソフトウェアの利用により直接的または間接的に生じるいかなる損
34 * 害からも,上記著作権者およびTOPPERSプロジェクトを免責すること.
36 * 本ソフトウェアは,無保証で提供されているものである.上記著作権者お
37 * よびTOPPERSプロジェクトは,本ソフトウェアに関して,その適用可能性も
38 * 含めて,いかなる保証も行わない.また,本ソフトウェアの利用により直
39 * 接的または間接的に生じたいかなる損害に関しても,その責任を負わない.
47 * プロセッサ依存モジュール(BLACKfin用)
50 #include "jsp_kernel.h"
55 * イベントハンドラの入り口で保存するFPの格納変数
60 * カーネル内部で使用する、idle時間累積計算用変数
62 unsigned int idle_cycle;
65 * GDBでデバッグ時にブートを行うかどうか制御する変数
66 * 通常は偽なので、ロード後、gdbで1に修正して使う
69 unsigned int enable_boot_for_gdb __attribute__((section(".data"), used)) = 0;
70 #elif defined(__ECC__)
72 #error "Compiler is not supported"
75 static void dummy_exception_handler(VP exc_info);
76 void (* exc_vector)(VP) = &dummy_exception_handler;
77 void (* dev_vector[DEVICE_INTERRUPT_COUNT+3])(void) ;
80 static void dummy_interrupt_handler(void)
86 static void dummy_exception_handler(VP exc_info)
101 for ( i=0; i<DEVICE_INTERRUPT_COUNT+3; i++ )
102 dev_vector[i] = &dummy_interrupt_handler;
111 *__pIMASK = 0; /* 割り込み禁止 */