ehmry/genode
ehmry
/
genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

nova: show client name for unhandled page faults 

This patch eases debugging.
This commit is contained in:
Alexander Boettcher 2013-06-25 10:02:17 +02:00 committed by Norman Feske
parent 4e2e79bf4f
commit 8655b58953
1 changed files with 7 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
base-nova/src/base/pager/pager.cc
View File

@ -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;