3 files changed, 1 insertions, 4 deletions
diff --git a/sys/arm/include/pmap-v6.h b/sys/arm/include/pmap-v6.h
index 1c1f6ef..d636331 100644
--- a/sys/arm/include/pmap-v6.h
+++ b/sys/arm/include/pmap-v6.h
@@ -222,8 +222,6 @@ void pmap_preboot_map_attr(vm_paddr_t, vm_offset_t, vm_size_t, vm_prot_t,
 #endif	/* _KERNEL */
 
 // ----------------- TO BE DELETED ---------------------------------------------
-#include <machine/pte-v6.h>
-
 #ifdef _KERNEL
 
 /*
diff --git a/sys/arm/include/pmap_var.h b/sys/arm/include/pmap_var.h
index a8b1450..9387acf 100644
--- a/sys/arm/include/pmap_var.h
+++ b/sys/arm/include/pmap_var.h
@@ -31,6 +31,7 @@
 #define _MACHINE_PMAP_VAR_H_
 
 #include <machine/cpu-v6.h>
+#include <machine/pte-v6.h>
 /*
  *  Various PMAP defines, exports, and inline functions
  *  definitions also usable in other MD code.
diff --git a/sys/arm/include/vm.h b/sys/arm/include/vm.h
index eb67025..2bcc261 100644
--- a/sys/arm/include/vm.h
+++ b/sys/arm/include/vm.h
@@ -32,8 +32,6 @@
 #include <machine/acle-compat.h>
 
 #if __ARM_ARCH >= 6
-#include <machine/pte-v6.h>
-
 #define VM_MEMATTR_WB_WA		((vm_memattr_t)0)
 #define VM_MEMATTR_NOCACHE		((vm_memattr_t)1)
 #define VM_MEMATTR_DEVICE		((vm_memattr_t)2)