From 21116803b3fb01f27b4bbdb2e8e8eb5c003bb645 Mon Sep 17 00:00:00 2001 From: Christian Helmuth Date: Wed, 23 Aug 2017 16:48:57 +0200 Subject: [PATCH] Cleanup warning message from %p --- repos/base-hw/src/core/spec/x86_64/kernel/thread_exception.cc | 2 +- .../src/core/spec/x86_64/muen/kernel/thread_exception.cc | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/repos/base-hw/src/core/spec/x86_64/kernel/thread_exception.cc b/repos/base-hw/src/core/spec/x86_64/kernel/thread_exception.cc index d5e692cdd6..fb98f88fdd 100644 --- a/repos/base-hw/src/core/spec/x86_64/kernel/thread_exception.cc +++ b/repos/base-hw/src/core/spec/x86_64/kernel/thread_exception.cc @@ -42,6 +42,6 @@ void Thread::exception(unsigned const cpu) return; } Genode::warning(*this, ": triggered unknown exception ", trapno, - " with error code ", errcode, " at ip=%p", (void*)ip); + " with error code ", errcode, " at ip=", (void*)ip); _die(); } diff --git a/repos/base-hw/src/core/spec/x86_64/muen/kernel/thread_exception.cc b/repos/base-hw/src/core/spec/x86_64/muen/kernel/thread_exception.cc index 30ff4e14e5..80bf0ed4f9 100644 --- a/repos/base-hw/src/core/spec/x86_64/muen/kernel/thread_exception.cc +++ b/repos/base-hw/src/core/spec/x86_64/muen/kernel/thread_exception.cc @@ -43,6 +43,6 @@ void Thread::exception(unsigned const cpu) return; } Genode::warning(*this, ": triggered unknown exception ", trapno, - " with error code ", errcode, " at ip=%p", (void*)ip); + " with error code ", errcode, " at ip=", (void*)ip); _die(); }