diff options
Diffstat (limited to 'vm/vm_page.h')
| -rw-r--r-- | vm/vm_page.h | 2 |
1 files changed, 1 insertions, 1 deletions
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 |