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

nova: decode type of page fault in core 

Ease reading debugging messages if a core thread fails.
This commit is contained in:
Alexander Boettcher 2012-12-04 11:57:50 +01:00 committed by Norman Feske
parent 96ef2b24c7
commit 1211516c08
1 changed files with 6 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
base-nova/src/core/platform.cc
View File

@ -99,11 +99,12 @@ static void page_fault_handler()
Utcb *utcb = (Utcb *)CORE_PAGER_UTCB_ADDR;
addr_t pf_addr = utcb->qual[1];
addr_t pf_ip = utcb->ip;
addr_t pf_sp = utcb->sp;
addr_t pf_ip = utcb->ip;
addr_t pf_sp = utcb->sp;
addr_t pf_type = utcb->qual[0];
printf("\nPAGE-FAULT IN CORE: ADDR %lx IP %lx SP %lx stack trace follows...\n",
pf_addr, pf_ip, pf_sp);
print_page_fault("\nPAGE-FAULT IN CORE", pf_addr, pf_ip,
(Genode::Rm_session::Fault_type)pf_type, ~0UL);
/* dump stack trace */
struct Core_img
@ -124,7 +125,7 @@ static void page_fault_handler()
addr_t *ip() { return _ip; }
void next_ip() { _ip = ((addr_t *)*(_ip - 1)) + 1;}
bool ip_valid() { return *_ip >= _beg && *_ip < _end; }
bool ip_valid() { return (*_ip >= _beg) && (*_ip < _end); }
};
int count = 1;