Some more minor fixes.

This commit is contained in:
Bahadir Balban
2009-10-19 20:21:23 +03:00
parent 655e135300
commit 3660ba9528
4 changed files with 12 additions and 13 deletions

View File

@@ -111,8 +111,8 @@ void fault_ipc_to_pager(u32 faulty_pc, u32 fsr, u32 far)
/* Detect if a pager is self-faulting */
if (current->tid == current->pagerid) {
printk("Pager (%d) self-faulting. Exiting.\n",
current->tid);
printk("Pager (%d) faulted on itself. FAR: 0x%x, PC: 0x%x Exiting.\n",
current->tid, fault->far, fault->faulty_pc);
task_destroy_current();
}