a couple of cosmetic changes of debug messages

2015-08-22 18:53:14 +09:00
parent 7c816a6b73
commit c85a9b99e1
3 changed files with 20 additions and 5 deletions
--- a/kernel/mem.c
+++ b/kernel/mem.c
@ -392,9 +392,9 @@ static void page_fault_handler(void *fault_addr, uint64_t reason, void *regs)
 		}

 		kprintf("[%d]page_fault_handler(%p,%lx,%p):"
-				"fault vm failed. %d\n",
+				"fault vm failed. %d, TID: %d\n",
 				ihk_mc_get_processor_id(), fault_addr,
-				reason, regs, error);
+				reason, regs, error, proc->ftn->tid);
 		unhandled_page_fault(proc, fault_addr, regs);
 		memset(&info, '\0', sizeof info);
 		if (error == -ERANGE) {