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

nova: improve page fault debugging messages 

Ease debugging.

Fixes #674
This commit is contained in:
Alexander Boettcher 2013-02-27 11:32:49 +01:00 committed by Norman Feske
parent 33b59a6276
commit 8f204ffd26
1 changed files with 8 additions and 2 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

@ -67,8 +67,9 @@ void Pager_object::_page_fault_handler()
char client_name[Context::NAME_LEN];
myself->name(client_name, sizeof(client_name));
PWRN("unresolvable page fault since recall failed, '%s'",
client_name);
PWRN("unresolvable page fault since recall failed, '%s' "
"address=0x%lx ip=0x%lx", client_name, ipc_pager.fault_addr(),
ipc_pager.fault_ip());
Native_capability pager_obj = obj->Object_pool<Pager_object>::Entry::cap();
revoke(pager_obj.dst(), true);
@ -77,6 +78,11 @@ 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());
utcb->set_msg_word(0);
utcb->mtd = 0;
}