Exemplo n.º 1
0
/*
 * 未定義の例外が入った場合の処理
 */
void
default_exc_handler(void){
	ID prc_id = ID_PRC(x_prc_index());

	syslog_1(LOG_EMERG, "Processor %d : Unregistered Exception occurs.", prc_id);
	target_exit();
}
Exemplo n.º 2
0
/*
 *  カーネルの終了処理
 */
void
exit_kernel(void)
{
	/*
	 *  終了処理ルーチンの実行
	 */
	call_terrtn();

	/*
	 *  ターゲット依存の終了処理
	 */
	target_exit();
	assert(0);
}
Exemplo n.º 3
0
/*
 * 未定義の割込みが入った場合の処理
 */
void
default_int_handler(void){
    syslog_0(LOG_EMERG, "Unregistered Interrupt occurs.");
    target_exit();
}
Exemplo n.º 4
0
void platform_exit(void) {
	target_exit();
	platform_uninit_timer();
	platform_deinit_interrupts();
}