Index: arch/amd64/src/mm/page.c
===================================================================
--- arch/amd64/src/mm/page.c	(revision 9d5e23cc7bc9f1f8f9799b82cd567c045c657dd3)
+++ arch/amd64/src/mm/page.c	(revision fcfac420803a43318bce80248d718b848e2bcaa3)
@@ -35,4 +35,5 @@
 #include <config.h>
 #include <memstr.h>
+#include <interrupt.h>
 
 static __address bootstrap_dba; 
@@ -56,5 +57,5 @@
 		}
 
-		trap_register(14, page_fault);
+		exc_register(14, "page_fault", page_fault);
 		write_cr3(KA2PA(dba));
 	}