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

nova: show badge as name during page fault message

This commit is contained in:
Alexander Boettcher 2013-03-05 09:45:02 +01:00 committed by Norman Feske
parent e85e11bec1
commit 8bc719ee1d
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
base-nova/src/core/include/util.h
View File

@ -39,10 +39,10 @@ namespace Genode {
Rm_session::Fault_type pf_type,
unsigned long faulter_badge)
{
printf("%s (%s pf_addr=%p pf_ip=%p from %02lx)\n", msg,
printf("%s (%s pf_addr=%p pf_ip=%p from %02lx %s)\n", msg,
pf_type == Rm_session::WRITE_FAULT ? "WRITE" : "READ",
(void *)pf_addr, (void *)pf_ip,
faulter_badge);
faulter_badge, reinterpret_cast<char *>(faulter_badge));
}