# -*- coding: utf-8 -*-
# 
#		パス3の生成スクリプトのコア依存部（ARM用）
# 
#  $Id$
#

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

#
#  割込みハンドラテーブルに関するチェック
#
# DEF_INHで登録した割込みハンドラのみチェックする．逆に言うと，コンフィ
# ギュレータで生成した割込みハンドラや，default_int_handlerのチェックは
# 行わない．
#
inhTable = SYMBOL("_kernel_inh_table")
$cfgData[:DEF_INH].each do |key, params|
  inthdr = PEEK(inhTable + params[:inhno] * $sizeof_FP, $sizeof_FP)

  #	割込みハンドラの先頭番地のチェック［NGKI3056］
  if (inthdr & ($CHECK_FUNC_ALIGN - 1)) != 0
    error_wrong_id("E_PAR", params, :inthdr, :inhno, "not aligned")
  end
  if $CHECK_FUNC_NONNULL && inthdr == 0
    error_wrong_id("E_PAR", params, :inthdr, :inhno, "null")
  end
end

#
#  CPU例外ハンドラテーブルに関するチェック
#
# DEF_EXCで登録したCPU例外ハンドラのみチェックする．逆に言うと，
# default_exc_handlerのチェックは行わない．
#
excTable = SYMBOL("_kernel_exc_table")
$cfgData[:DEF_EXC].each do |key, params|
  exchdr = PEEK(excTable + params[:excno] * $sizeof_FP, $sizeof_FP)

  # CPU例外ハンドラの先頭番地のチェック［NGKI3135］
  if (exchdr & ($CHECK_FUNC_ALIGN - 1)) != 0
    error_wrong_id("E_PAR", params, :exchdr, :excno, "not aligned")
  end
  if $CHECK_FUNC_NONNULL && exchdr == 0
    error_wrong_id("E_PAR", params, :exchdr, :excno, "null")
  end
end