Index: kernel/arch/ppc32/src/mm/as.c
===================================================================
--- kernel/arch/ppc32/src/mm/as.c	(revision a71c158ef82122abfeef92f86344709bbad55d17)
+++ kernel/arch/ppc32/src/mm/as.c	(revision 92454138de3db76b779e4a3ddf80182cb677196d)
@@ -35,4 +35,5 @@
 #include <arch/mm/as.h>
 #include <genarch/mm/as_pt.h>
+#include <genarch/mm/page_pt.h>
 #include <genarch/mm/asid_fifo.h>
 #include <arch.h>
Index: kernel/arch/ppc32/src/mm/tlb.c
===================================================================
--- kernel/arch/ppc32/src/mm/tlb.c	(revision a71c158ef82122abfeef92f86344709bbad55d17)
+++ kernel/arch/ppc32/src/mm/tlb.c	(revision 92454138de3db76b779e4a3ddf80182cb677196d)
@@ -38,4 +38,5 @@
 #include <interrupt.h>
 #include <mm/as.h>
+#include <mm/page.h>
 #include <arch.h>
 #include <print.h>
Index: kernel/arch/ppc32/src/ppc32.c
===================================================================
--- kernel/arch/ppc32/src/ppc32.c	(revision a71c158ef82122abfeef92f86344709bbad55d17)
+++ kernel/arch/ppc32/src/ppc32.c	(revision 92454138de3db76b779e4a3ddf80182cb677196d)
@@ -44,4 +44,5 @@
 #include <genarch/ofw/pci.h>
 #include <userspace.h>
+#include <mm/page.h>
 #include <proc/uarg.h>
 #include <console/console.h>