diff --git a/sys/powerpc/aim/mmu_oea.c b/sys/powerpc/aim/mmu_oea.c
index 03b89d913c9d..740b99d7f203 100644
--- a/sys/powerpc/aim/mmu_oea.c
+++ b/sys/powerpc/aim/mmu_oea.c
@@ -85,6 +85,7 @@ static const char rcsid[] =
 
 #include <sys/user.h>
 
+#include <machine/bat.h>
 #include <machine/pcb.h>
 #include <machine/powerpc.h>
 #include <machine/pte.h>
diff --git a/sys/powerpc/powerpc/mmu_oea.c b/sys/powerpc/powerpc/mmu_oea.c
index 03b89d913c9d..740b99d7f203 100644
--- a/sys/powerpc/powerpc/mmu_oea.c
+++ b/sys/powerpc/powerpc/mmu_oea.c
@@ -85,6 +85,7 @@ static const char rcsid[] =
 
 #include <sys/user.h>
 
+#include <machine/bat.h>
 #include <machine/pcb.h>
 #include <machine/powerpc.h>
 #include <machine/pte.h>
diff --git a/sys/powerpc/powerpc/pmap.c b/sys/powerpc/powerpc/pmap.c
index 03b89d913c9d..740b99d7f203 100644
--- a/sys/powerpc/powerpc/pmap.c
+++ b/sys/powerpc/powerpc/pmap.c
@@ -85,6 +85,7 @@ static const char rcsid[] =
 
 #include <sys/user.h>
 
+#include <machine/bat.h>
 #include <machine/pcb.h>
 #include <machine/powerpc.h>
 #include <machine/pte.h>