trx305/kernel/config/blackfin/cpu_config.c

   1 /*
   2  *  TOPPERS/JSP Kernel
   3  *      Toyohashi Open Platform for Embedded Real-Time Systems/
   4  *      Just Standard Profile Kernel
   5  *
   6  *  Copyright (C) 2000-2003 by Embedded and Real-Time Systems Laboratory
   7  *                              Toyohashi Univ. of Technology, JAPAN
   8  *
   9  *  TOPPERS/JSP for Blackfin
  10  *
  11  *  Copyright (C) 2004,2006,2006 by Takemasa Nakamura
  12  *  Copyright (C) 2004 by Ujinosuke
  13  *
  14  *  上記著作権者は，以下の (1)〜(4) の条件か，Free Software Foundation
  15  *  によって公表されている GNU General Public License の Version 2 に記
  16  *  述されている条件を満たす場合に限り，本ソフトウェア（本ソフトウェア
  17  *  を改変したものを含む．以下同じ）を使用・複製・改変・再配布（以下，
  18  *  利用と呼ぶ）することを無償で許諾する．
  19  *  (1) 本ソフトウェアをソースコードの形で利用する場合には，上記の著作
  20  *      権表示，この利用条件および下記の無保証規定が，そのままの形でソー
  21  *      スコード中に含まれていること．
  22  *  (2) 本ソフトウェアを，ライブラリ形式など，他のソフトウェア開発に使
  23  *      用できる形で再配布する場合には，再配布に伴うドキュメント（利用
  24  *      者マニュアルなど）に，上記の著作権表示，この利用条件および下記
  25  *      の無保証規定を掲載すること．
  26  *  (3) 本ソフトウェアを，機器に組み込むなど，他のソフトウェア開発に使
  27  *      用できない形で再配布する場合には，次のいずれかの条件を満たすこ
  28  *      と．
  29  *    (a) 再配布に伴うドキュメント（利用者マニュアルなど）に，上記の著
  30  *        作権表示，この利用条件および下記の無保証規定を掲載すること．
  31  *    (b) 再配布の形態を，別に定める方法によって，TOPPERSプロジェクトに
  32  *        報告すること．
  33  *  (4) 本ソフトウェアの利用により直接的または間接的に生じるいかなる損
  34  *      害からも，上記著作権者およびTOPPERSプロジェクトを免責すること．
  35  *
  36  *  本ソフトウェアは，無保証で提供されているものである．上記著作権者お
  37  *  よびTOPPERSプロジェクトは，本ソフトウェアに関して，その適用可能性も
  38  *  含めて，いかなる保証も行わない．また，本ソフトウェアの利用により直
  39  *  接的または間接的に生じたいかなる損害に関しても，その責任を負わない．
  40  *
  41  *
  42  */
  43
  44
  45
  46 /*
  47  *  プロセッサ依存モジュール（BLACKfin用）
  48  */
  49
  50 #include "jsp_kernel.h"
  51 #include "check.h"
  52 #include "task.h"
  53
  54 /*
  55 * イベントハンドラの入り口で保存するFPの格納変数
  56 */
  57 VP event_fp;
  58
  59 /*
  60  * カーネル内部で使用する、idle時間累積計算用変数
  61  */
  62 unsigned int idle_cycle;
  63
  64 /*
  65  * GDBでデバッグ時にブートを行うかどうか制御する変数
  66  * 通常は偽なので、ロード後、gdbで1に修正して使う
  67  */
  68 #ifdef __GNUC__
  69 unsigned int enable_boot_for_gdb  __attribute__((section(".data"), used)) = 0;
  70 #elif defined(__ECC__)
  71 #else
  72 #error "Compiler is not supported"
  73 #endif
  74
  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) ;
  78
  79
  80 static void dummy_interrupt_handler(void)
  81 {
  82     while(1)
  83         ;
  84 }
  85
  86 static void dummy_exception_handler(VP exc_info)
  87 {
  88     while(1)
  89         ;
  90 }
  91
  92
  93 /*
  94  *  プロセッサ依存の初期化
  95  */
  96 void
  97 cpu_initialize()
  98 {
  99     int i;
 100
 101     for ( i=0; i<DEVICE_INTERRUPT_COUNT+3; i++ )
 102         dev_vector[i] = &dummy_interrupt_handler;
 103 }
 104
 105 /*
 106  *  プロセッサ依存の終了処理
 107  */
 108 void
 109 cpu_terminate()
 110 {
 111     *__pIMASK = 0;      /* 割り込み禁止 */
 112 }
 113
 114