From 7c8ed37bd7b23c3d41c34ac1d48fc1a0e13f1e42 Mon Sep 17 00:00:00 2001 From: Norman Feske Date: Thu, 11 May 2017 14:38:39 +0200 Subject: [PATCH] fiasco: print addresses in error messages as hex --- repos/base-fiasco/src/core/platform.cc | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/repos/base-fiasco/src/core/platform.cc b/repos/base-fiasco/src/core/platform.cc index 6d9b2aa86e..9688f2bb0d 100644 --- a/repos/base-fiasco/src/core/platform.cc +++ b/repos/base-fiasco/src/core/platform.cc @@ -104,7 +104,7 @@ static void _core_pager_loop() /* NULL pointer access */ error("possible null pointer ", rw ? "WRITE" : "READ", " " "in ", (int)t.id.task, ".", (int)t.id.lthread, " " - "at ", Hex(pfa), " IP ", dw1); + "at ", Hex(pfa), " IP ", Hex(dw1)); /* do not unblock faulter */ send_reply = false; continue; @@ -113,7 +113,7 @@ static void _core_pager_loop() /* page-fault address is not in RAM */ error(rw ? "WRITE" : "READ", " access outside of RAM " "in ", (int)t.id.task, ".", (int)t.id.lthread, " " - "at ", Hex(pfa), " IP ", dw1); + "at ", Hex(pfa), " IP ", Hex(dw1)); /* do not unblock faulter */ send_reply = false; continue;