Index: kernel/arch/amd64/src/mm/page.c
===================================================================
--- kernel/arch/amd64/src/mm/page.c	(revision 17af882f644f6d312e05f3965cef1fececb99062)
+++ kernel/arch/amd64/src/mm/page.c	(revision 57c2a87b03a0b6c08cef4f64f0cf52a7d8b38b62)
@@ -72,5 +72,5 @@
 	page_table_unlock(AS_KERNEL, true);
 		
-	exc_register(14, "page_fault", true, (iroutine_t) page_fault);
+	exc_register(VECTOR_PF, "page_fault", true, (iroutine_t) page_fault);
 	write_cr3((uintptr_t) AS_KERNEL->genarch.page_table);
 }