Changes in kernel/arch/ia32/src/mm/page.c [4b0206c:59fb782] in mainline

File:

• kernel/arch/ia32/src/mm/page.c (modified) (1 diff)

kernel/arch/ia32/src/mm/page.c

@@ -76 +76 @@
         page_table_unlock(AS_KERNEL, true);
                 
-        exc_register(VECTOR_PF, "page_fault", true, (iroutine_t) page_fault);
+        exc_register(14, "page_fault", true, (iroutine_t) page_fault);
         write_cr3((uintptr_t) AS_KERNEL->genarch.page_table);