From 96a3eabe167335628ada3ee1d2487ce35c5a5c28 Mon Sep 17 00:00:00 2001
From: Adrian-Ken Rueegsegger <ken@codelabs.ch>
Date: Thu, 19 Mar 2015 12:38:45 +0100
Subject: [PATCH] hw_x86_64: Log additional information on unknown exception

Provide more information in the log message when an unknown exception
occurs.
---
 repos/base-hw/src/core/spec/x86/kernel/thread.cc | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/repos/base-hw/src/core/spec/x86/kernel/thread.cc b/repos/base-hw/src/core/spec/x86/kernel/thread.cc
index 6ef862dab..8182e8f30 100644
--- a/repos/base-hw/src/core/spec/x86/kernel/thread.cc
+++ b/repos/base-hw/src/core/spec/x86/kernel/thread.cc
@@ -42,7 +42,8 @@ void Thread::exception(unsigned const cpu)
 		_interrupt(cpu);
 		return;
 	} else {
-		PWRN("unknown exception 0x%lx", trapno);
+		PWRN("%s -> %s: triggered an unknown exception %lu with error code %lu",
+		     pd_label(), label(), trapno, errcode);
 		_stop();
 		return;
 	}