/* * 未定義の例外が入った場合の処理 */ 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(); }
/* * カーネルの終了処理 */ void exit_kernel(void) { /* * 終了処理ルーチンの実行 */ call_terrtn(); /* * ターゲット依存の終了処理 */ target_exit(); assert(0); }
/* * 未定義の割込みが入った場合の処理 */ void default_int_handler(void){ syslog_0(LOG_EMERG, "Unregistered Interrupt occurs."); target_exit(); }
void platform_exit(void) { target_exit(); platform_uninit_timer(); platform_deinit_interrupts(); }