hw_x86_64: Log unknown exceptions of Cpu_idle

2015-07-02 12:16:55 +02:00 · 2015-07-02 12:16:55 +02:00 · 0e065c162b
parent c2ff0ae9d4
commit 0e065c162b
1 changed files with 2 additions and 0 deletions
--- a/repos/base-hw/src/core/spec/x86/kernel/cpu.cc
+++ b/repos/base-hw/src/core/spec/x86/kernel/cpu.cc
@ -36,5 +36,7 @@ void Cpu_idle::exception(unsigned const cpu)
 		_interrupt(cpu);
 		return;
 	}
+	PWRN("Unknown exception %lu with error code %lu at ip=%p", trapno,
+	     errcode, (void *)ip);
 	assert(0);
 }