/*
* タイムウィンドウタイマ／オーバランタイマ割込みハンドラ
*
* このルーチンに来るまでに，target_twdtimer_stopまたは
* target_ovrtimer_stopが呼ばれているため，OSタイマを停止する必要はな
* い．
*/
void
target_totimer_handler(void)
{
if (system_cyctim != 0U) {
twd_switch(); /* タイムウィンドウ切換え処理 */
}
#ifdef TOPPERS_SUPPORT_OVRHDR
if (ovrinib.ovrhdr != NULL) {
call_ovrhdr(); /* オーバランハンドラの起動処理 */
}
#endif /* TOPPERS_SUPPORT_OVRHDR */
}
/*
* オーバランタイマ割込みハンドラ
*/
void
target_ovrtimer_handler(void)
{
call_ovrhdr(); /* オーバランハンドラの起動処理 */
}
/*
* シミュレートされたオーバランタイマ割込みハンドラ
*/
void
target_ovrtimer_handler(void)
{
current_simtim += SIMTIM_OVERHEAD_OVRINT;
call_ovrhdr();
}