4 files changed, 4 insertions, 4 deletions
diff --git a/vm/vm_kmem.c b/vm/vm_kmem.c
index 58a4f39e..9a767e08 100644
--- a/vm/vm_kmem.c
+++ b/vm/vm_kmem.c
@@ -25,8 +25,8 @@
 #include <kern/param.h>
 #include <kern/stddef.h>
 #include <kern/stdint.h>
-#include <kern/types.h>
 #include <machine/pmap.h>
+#include <machine/types.h>
 #include <vm/vm_adv.h>
 #include <vm/vm_inherit.h>
 #include <vm/vm_kmem.h>
diff --git a/vm/vm_kmem.h b/vm/vm_kmem.h
index a5e5e6d0..eafb4183 100644
--- a/vm/vm_kmem.h
+++ b/vm/vm_kmem.h
@@ -18,8 +18,8 @@
 #ifndef _VM_VM_KMEM_H
 #define _VM_VM_KMEM_H
 
-#include <kern/types.h>
 #include <kern/stdint.h>
+#include <machine/types.h>
 
 /*
  * The kernel space is required not to start at address 0, which is used to
diff --git a/vm/vm_page.c b/vm/vm_page.c
index d1d6349c..487e4624 100644
--- a/vm/vm_page.c
+++ b/vm/vm_page.c
@@ -44,9 +44,9 @@
 #include <kern/stdint.h>
 #include <kern/string.h>
 #include <kern/thread.h>
-#include <kern/types.h>
 #include <machine/cpu.h>
 #include <machine/pmap.h>
+#include <machine/types.h>
 #include <vm/vm_page.h>
 
 #define DEBUG 0
diff --git a/vm/vm_page.h b/vm/vm_page.h
index 71fb43a1..cd4dab10 100644
--- a/vm/vm_page.h
+++ b/vm/vm_page.h
@@ -28,8 +28,8 @@
 #include <kern/param.h>
 #include <kern/stddef.h>
 #include <kern/stdint.h>
-#include <kern/types.h>
 #include <machine/pmap.h>
+#include <machine/types.h>
 
 /*
  * Address/page conversion and rounding macros (not inline functions to