mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-21 02:01:38 +00:00
parent
059aba0916
commit
22d61c241e
@ -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
|
||||
*/
|
||||
|
@ -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();
|
||||
}
|
||||
}
|
||||
|
||||
|
Loading…
x
Reference in New Issue
Block a user