# -*- coding: utf-8 -*-
#
#   TOPPERS/SSP Kernel
#       Toyohashi Open Platform for Embedded Real-Time Systems/
#       Advanced Standard Profile Kernel
# 
#   Copyright (C) 2015 by FUJI SOFT INCORPORATED, JAPAN
#   Copyright (C) 2015,2016 by Embedded and Real-Time Systems Laboratory
#               Graduate School of Information Science, Nagoya Univ., JAPAN
#   Copyright (C) 2017 by Naoki Saito
#              Nagoya Municipal Industrial Research Institute, JAPAN
#
# 
#   上記著作権者は，以下の(1)〜(4)の条件を満たす場合に限り，本ソフトウェ
#   ア（本ソフトウェアを改変したものを含む．以下同じ）を使用・複製・改
#   変・再配布（以下，利用と呼ぶ）することを無償で許諾する．
#   (1) 本ソフトウェアをソースコードの形で利用する場合には，上記の著作
#       権表示，この利用条件および下記の無保証規定が，そのままの形でソー
#       スコード中に含まれていること．
#   (2) 本ソフトウェアを，ライブラリ形式など，他のソフトウェア開発に使
#       用できる形で再配布する場合には，再配布に伴うドキュメント（利用
#       者マニュアルなど）に，上記の著作権表示，この利用条件および下記
#       の無保証規定を掲載すること．
#   (3) 本ソフトウェアを，機器に組み込むなど，他のソフトウェア開発に使
#       用できない形で再配布する場合には，次のいずれかの条件を満たすこ
#       と．
#     (a) 再配布に伴うドキュメント（利用者マニュアルなど）に，上記の著
#         作権表示，この利用条件および下記の無保証規定を掲載すること．
#     (b) 再配布の形態を，別に定める方法によって，TOPPERSプロジェクトに
#         報告すること．
#   (4) 本ソフトウェアの利用により直接的または間接的に生じるいかなる損
#       害からも，上記著作権者およびTOPPERSプロジェクトを免責すること．
#       また，本ソフトウェアのユーザまたはエンドユーザからのいかなる理
#       由に基づく請求からも，上記著作権者およびTOPPERSプロジェクトを
#       免責すること．
# 
#   本ソフトウェアは，無保証で提供されているものである．上記著作権者お
#   よびTOPPERSプロジェクトは，本ソフトウェアに関して，特定の使用目的
#   に対する適合性も含めて，いかなる保証も行わない．また，本ソフトウェ
#   アの利用により直接的または間接的に生じたいかなる損害に関しても，そ
#   の責任を負わない．
# 
#   $Id: core_kernel.trb 662 2016-02-27 02:33:51Z ertl-hiro $
# 

#
#		パス2の生成スクリプトのコア依存部（ARM用）
#

#
#  有効な割込み番号，割込みハンドラ番号
#
$INTNO_VALID = Array(15..$TMAX_INTNO)
$INHNO_VALID = $INTNO_VALID

#
#  有効なCPU例外ハンドラ番号
#
$EXCNO_VALID = [ 2, 3, 4, 5, 6, 11, 12, 14 ]

#
#  ATT_ISRで使用できる割込み番号とそれに対応する割込みハンドラ番号
#
$INTNO_ATTISR_VALID = $INTNO_VALID
$INHNO_ATTISR_VALID = $INHNO_VALID

#
#  DEF_INT/DEF_EXCで使用できる割込みハンドラ番号／CPU例外ハンドラ番号
#
$INHNO_DEFINH_VALID = $INHNO_VALID
$EXCNO_DEFEXC_VALID = $EXCNO_VALID

#
#  チェック方法の指定
#
$CHECK_STKSZ_ALIGN = 8

#
#  CFG_INTで使用できる割込み番号と割込み優先度
#
$INTNO_CFGINT_VALID = $INTNO_VALID
$INTPRI_CFGINT_VALID = Array(-(1 << $TBITW_IPRI)..-1)

#
#  割込み属性中のターゲット依存に用いるビット
#
#$TARGET_INTATR =

#
#  ターゲット非依存部のインクルード
#
IncludeTrb("kernel/kernel.trb")

$kernelCfgC.comment_header("Target-dependent Definitions (ARM-M)")

#
#  割込みベクタテーブル
#
$kernelCfgC.comment_header("Interrupt Vector Table")

$kernelCfgC.add("extern void kernel_svc_handler(void);")
$kernelCfgC.add
$kernelCfgC.add("__attribute__ ((section(\".vector\")))")
$kernelCfgC.add("const FP _kernel_vector_table[] = {")
$kernelCfgC.add("\t(FP)(TOPPERS_ISTKPT(TOPPERS_STK, TOPPERS_STKSZ)),   // 0 The initial stack pointer")
$kernelCfgC.add("\t(FP)_start,                 // 1 The reset handler")

(2..14).each do |excno|
  if excno == 11
    $kernelCfgC.append("\t(FP)(kernel_svc_handler),      // 11 SVCall handler")
  else
    $kernelCfgC.append("\t(FP)(_kernel_exc_entry),")
  end
  $kernelCfgC.add(" /* #{excno} */")
end

$INTNO_VALID.each do |inhno|
  if ($cfgData[:DEF_INH].has_key?(inhno)) && ($cfgData[:CFG_INT][inhno][:intpri] < $TIPM_LOCK)
    $kernelCfgC.append("\t(FP)(#{$cfgData[:DEF_INH][inhno][:inthdr]})")
  else
    $kernelCfgC.append("\t(FP)(_kernel_int_entry)")
  end
  $kernelCfgC.add(", /* #{inhno} */")
end

$kernelCfgC.add
$kernelCfgC.add2("};")

#
#  CPU例外ハンドラテーブル
#
$kernelCfgC.comment_header("CPU Exception Handler Table")

$kernelCfgC.add("const FP _kernel_exc_tbl[] = {")
(0..14).each do |excno|
  if $cfgData[:DEF_EXC].has_key?(excno)
    $kernelCfgC.append("\t(FP)(#{$cfgData[:DEF_EXC][excno][:exchdr]})")
  else
    $kernelCfgC.append("\t(FP)(_kernel_default_exc_handler)")
  end
  $kernelCfgC.add(", /* #{excno} */")
end

$INTNO_VALID.each do |inhno|
  if ($cfgData[:DEF_INH].has_key?(inhno)) && ($cfgData[:CFG_INT][inhno][:intpri] < $TIPM_LOCK)
    $kernelCfgC.append("\t(FP)(#{$cfgData[:DEF_INH][inhno][:inthdr]})")
  else
    $kernelCfgC.append("\t(FP)(_kernel_default_int_handler)")
  end
  $kernelCfgC.add(", /* #{inhno} */")
end

$kernelCfgC.add
$kernelCfgC.add2("};")

#
#  _kernel_bitpat_cfgintの生成
#

if ($TMAX_INTNO & 0x0f) == 0
  bitpat_cfgint_num = ($TMAX_INTNO >> 4)
else
  bitpat_cfgint_num = ($TMAX_INTNO >> 4) + 1
end

$kernelCfgC.add("const uint32_t _kernel_bitpat_cfgint[#{bitpat_cfgint_num}] = {")

(0..(bitpat_cfgint_num-1)).each do |num|
  bitpat_cfgint = 0
  ((num*32)..(num*32+31)).each do |inhno|
    if $cfgData[:DEF_INH].has_key?(inhno)
      bitpat_cfgint = bitpat_cfgint | (1 << (inhno & 0x01f))
    end
  end
  $kernelCfgC.add("\tUINT32_C(0x#{sprintf("%08x", bitpat_cfgint)}),")
end

$kernelCfgC.add2("};")