Index: arch/amd64/src/mm/page.c
===================================================================
--- arch/amd64/src/mm/page.c	(revision f5935ed33be88b71c675e1e444f606d26789d549)
+++ arch/amd64/src/mm/page.c	(revision 8a1da55db67387e40c7dd92111ead25c83ea8d9f)
@@ -53,5 +53,5 @@
 		}
 
-		exc_register(14, "page_fault", page_fault);
+		exc_register(14, "page_fault", (iroutine)page_fault);
 		write_cr3((__address) AS_KERNEL->page_table);
 	}