From 22d61c241e7d1d8012444606c17f95aade7e3133 Mon Sep 17 00:00:00 2001 From: Martin Stein Date: Tue, 15 Oct 2013 17:15:30 +0200 Subject: [PATCH] hw: remove useless function handle_invalid_excpt ref #874 --- base-hw/src/core/kernel.cc | 8 +------- base-hw/src/core/kernel/thread.h | 6 ++++-- 2 files changed, 5 insertions(+), 9 deletions(-) diff --git a/base-hw/src/core/kernel.cc b/base-hw/src/core/kernel.cc index 2ba0b6eeb..c73ca53a2 100644 --- a/base-hw/src/core/kernel.cc +++ b/base-hw/src/core/kernel.cc @@ -74,7 +74,7 @@ namespace Kernel static Timer * timer() { static Timer _object; return &_object; } - static void reset_lap_time() + void reset_lap_time() { timer()->start_one_shot(timer()->ms_to_tics(USER_LAP_TIME_MS)); } @@ -212,12 +212,6 @@ namespace Kernel size_t vm_size() { return sizeof(Vm); } - /** - * Handle the occurence of an unknown exception - */ - void handle_invalid_excpt() { assert(0); } - - /** * Handle an interrupt request */ diff --git a/base-hw/src/core/kernel/thread.h b/base-hw/src/core/kernel/thread.h index 78fdea1e5..6062bd517 100644 --- a/base-hw/src/core/kernel/thread.h +++ b/base-hw/src/core/kernel/thread.h @@ -39,7 +39,7 @@ namespace Kernel unsigned core_id(); void handle_syscall(Thread * const); void handle_interrupt(void); - void handle_invalid_excpt(void); + void reset_lap_time(); /** * Kernel object that can be scheduled for the CPU @@ -524,7 +524,9 @@ class Kernel::Thread handle_interrupt(); return; default: - handle_invalid_excpt(); + PERR("unknown exception"); + stop(); + reset_lap_time(); } }