From 8655b58953e93c8fcd7a98d9d850f493faf8aa7d Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Tue, 25 Jun 2013 10:02:17 +0200
Subject: [PATCH] nova: show client name for unhandled page faults

This patch eases debugging.
---
 base-nova/src/base/pager/pager.cc | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

diff --git a/base-nova/src/base/pager/pager.cc b/base-nova/src/base/pager/pager.cc
index 2446789b4..2d005d74b 100644
--- a/base-nova/src/base/pager/pager.cc
+++ b/base-nova/src/base/pager/pager.cc
@@ -79,9 +79,13 @@ void Pager_object::_page_fault_handler()
 			obj->_state.dead = true;
 		}
 
-		if (ret == 1)
-			PDBG("unhandled page fault, address=0x%lx ip=0x%lx",
-			     ipc_pager.fault_addr(), ipc_pager.fault_ip());
+		if (ret == 1) {
+			char client_name[Context::NAME_LEN];
+			myself->name(client_name, sizeof(client_name));
+
+			PDBG("unhandled page fault, '%s' address=0x%lx ip=0x%lx",
+				 client_name, ipc_pager.fault_addr(), ipc_pager.fault_ip());
+		}
 
 		utcb->set_msg_word(0);
 		utcb->mtd = 0;