Index: kernel/arch/ppc32/src/mm/as.c
===================================================================
--- kernel/arch/ppc32/src/mm/as.c	(revision f3277d49c94d6695d52680406ec1323602b89e6a)
+++ kernel/arch/ppc32/src/mm/as.c	(revision eae4e8fa7dfec64f319138584d0480c91f7579ca)
@@ -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 f3277d49c94d6695d52680406ec1323602b89e6a)
+++ kernel/arch/ppc32/src/mm/tlb.c	(revision eae4e8fa7dfec64f319138584d0480c91f7579ca)
@@ -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 f3277d49c94d6695d52680406ec1323602b89e6a)
+++ kernel/arch/ppc32/src/ppc32.c	(revision eae4e8fa7dfec64f319138584d0480c91f7579ca)
@@ -44,4 +44,5 @@
 #include <genarch/ofw/pci.h>
 #include <userspace.h>
+#include <mm/page.h>
 #include <proc/uarg.h>
 #include <console/console.h>