diff --git a/repos/base-hw/src/core/pager.cc b/repos/base-hw/src/core/pager.cc
index a2160c1ebf..671d2f74f0 100644
--- a/repos/base-hw/src/core/pager.cc
+++ b/repos/base-hw/src/core/pager.cc
@@ -87,8 +87,9 @@ void Pager_object::unresolved_page_fault_occurred()
 {
 	Platform_thread * const pt = (Platform_thread *)badge();
 	if (pt && pt->pd())
-		PERR("%s -> %s: unresolved pagefault at ip=%p sp=%p",
-		     pt->pd()->label(), pt->label(), (void*)pt->state().ip, (void*)pt->state().sp);
+		PERR("%s -> %s: unresolved pagefault at ip=%lx sp=%lx fault address=%lx",
+		     pt->pd()->label(), pt->label(), pt->kernel_object()->ip,
+		     pt->kernel_object()->sp, pt->kernel_object()->fault_addr());
 }
 
 Pager_object::Pager_object(unsigned const badge, Affinity::Location)