source: rubycfg_ssp/kernel_check.trb@ 283

# -*- 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: kernel_check.trb 662 2016-02-27 02:33:51Z ertl-hiro $
#  

#
#               コンフィギュレータのパス3の生成スクリプト
#

# 
#  タイムスタンプファイルの指定
# 
$timeStampFileName = "check.timestamp"

# 
#  タスクに関するチェック
# 
tinib_task = SYMBOL("_kernel_tinib_task")
$cfgData[:CRE_TSK].sort.each do |key, params|
  task = PEEK(tinib_task, $sizeof_TASK)

  # タスクのå…
ˆé ­ç•ªåœ°ã®ãƒã‚§ãƒƒã‚¯
  if (task & ($CHECK_FUNC_ALIGN - 1)) != 0
    error_wrong_id("E_PAR", params, :task, :tskid, "not aligned")
  end
  if $CHECK_FUNC_NONNULL && task == 0
    error_wrong_id("E_PAR", params, :task, :tskid, "null")
  end

  tinib_task += $sizeof_TASK
end

# 
#  周期通知に関するチェック
# 
cycinib_cychdr = SYMBOL("_kernel_cycinib_cychdr")
$cfgData[:CRE_CYC].sort.each do |key, params|
  cychdr = PEEK(cycinib_cychdr, $sizeof_CYCHDR)

  # 周期ハンドラå…
ˆé ­ç•ªåœ°ã®ãƒã‚§ãƒƒã‚¯
  if (cychdr & ($CHECK_FUNC_ALIGN - 1)) != 0
    error_wrong_id("E_PAR", params, :cychdr, :cycid, "not aligned")
  end
  if $CHECK_FUNC_NONNULL && cychdr == 0
    error_wrong_id("E_PAR", params, :cychdr , :cycid, "null")
  end

  cycinib_cychdr += $sizeof_CYCHDR
end

# 
#  アラーム通知に関するチェック
# 
alminib_almhdr = SYMBOL("_kernel_alminib_almhdr")
$cfgData[:CRE_ALM].sort.each do |key, params|
  almhdr = PEEK(alminib_almhdr, $sizeof_ALMHDR)

  # アラームハンドラå…
ˆé ­ç•ªåœ°ã®ãƒã‚§ãƒƒã‚¯
  if (almhdr & ($CHECK_FUNC_ALIGN - 1)) != 0
    error_wrong_id("E_PAR", params, :almhdr, :almid, "not aligned")
  end
  if $CHECK_FUNC_NONNULL && almhdr == 0
    error_wrong_id("E_PAR", params, :almhdr , :almid, "null")
  end

  alminib_almhdr += $sizeof_ALMHDR
end

# 
#  å…
±æœ‰ã‚¹ã‚¿ãƒƒã‚¯é ˜åŸŸã«é–¢ã™ã‚‹ãƒã‚§ãƒƒã‚¯
# 
stkAddr = SYMBOL("_kernel_stk")
if !stkAddr.nil?
  stk = PEEK(stkAddr, $sizeof_void_ptr)

  # å…
±æœ‰ã‚¹ã‚¿ãƒƒã‚¯é ˜åŸŸã®å…
ˆé ­ç•ªåœ°ã®ãƒã‚§ãƒƒã‚¯
  if (stk & ($CHECK_STACK_ALIGN - 1)) != 0
    error_wrong("E_PAR", $cfgData[:DEF_STK][1], :stk, "not aligned")
  end
  if $CHECK_STACK_NONNULL && stk == 0
    error_wrong("E_PAR", $cfgData[:DEF_STK][1], :stk, "null")
  end
end