Merge remote branch 'origin/master' into gdb

Conflicts: kernel/include/process.h
2014-07-18 16:03:35 +09:00
parent cb61739c2b a5b36e2b51
commit 9dd7d6283c
23 changed files with 1723 additions and 117 deletions
--- a/kernel/mem.c
+++ b/kernel/mem.c
@@ -281,6 +281,7 @@ out:
 	dkprintf("[%d]page_fault_handler(%p,%lx,%p): (%d)\n",
 			ihk_mc_get_processor_id(), fault_addr, reason,
 			regs, error);
+	check_need_resched();
 	return;
 }