Index: kernel/arch/ia32/src/mm/page.c
===================================================================
--- kernel/arch/ia32/src/mm/page.c	(revision 623b49f1b94781911cb219ad1a68b6afdb2b0bbf)
+++ kernel/arch/ia32/src/mm/page.c	(revision 80bcaed11c2e767559657092d6c13d1a7fdd449c)
@@ -69,8 +69,8 @@
 
 		exc_register(14, "page_fault", (iroutine) page_fault);
-		write_cr3((uintptr_t) AS_KERNEL->page_table);
+		write_cr3((uintptr_t) AS_KERNEL->genarch.page_table);
 	}
 	else {
-		write_cr3((uintptr_t) AS_KERNEL->page_table);
+		write_cr3((uintptr_t) AS_KERNEL->genarch.page_table);
 	}