rewrite page_fault_handler()

2013-08-08 12:43:00 +09:00
parent b0de24f13e
commit 480f6d4c2f
9 changed files with 738 additions and 87 deletions
--- a/arch/x86/kernel/cpu.c
+++ b/arch/x86/kernel/cpu.c
@@ -494,7 +494,7 @@ int ihk_mc_unregister_interrupt_handler(int vector,

 extern unsigned long __page_fault_handler_address;

-void ihk_mc_set_page_fault_handler(void (*h)(unsigned long, void *))
+void ihk_mc_set_page_fault_handler(void (*h)(void *, uint64_t, void *))
 {
 	__page_fault_handler_address = (unsigned long)h;
 }