Index: arch/ia32/src/mm/page.c
===================================================================
--- arch/ia32/src/mm/page.c	(revision 9d5e23cc7bc9f1f8f9799b82cd567c045c657dd3)
+++ arch/ia32/src/mm/page.c	(revision 6095342f82cb691572e06dbe4aef66ee04a8d94a)
@@ -40,4 +40,5 @@
 #include <memstr.h>
 #include <print.h>
+#include <interrupt.h>
 
 static __address bootstrap_dba; 
@@ -60,5 +61,5 @@
 			page_mapping_insert(PA2KA(cur), cur, PAGE_CACHEABLE, KA2PA(dba));
 
-		trap_register(14, page_fault);
+		exc_register(14, "page_fault", page_fault);
 		write_cr3(KA2PA(dba));
 	}