Index: arch/amd64/src/mm/page.c
===================================================================
--- arch/amd64/src/mm/page.c	(revision f5935ed33be88b71c675e1e444f606d26789d549)
+++ arch/amd64/src/mm/page.c	(revision 49a39c2c0d1933132d867a05b71cfac2264eab4b)
@@ -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);
 	}