diff options
Diffstat (limited to 'arch/x86/machine/pmap.c')
| -rw-r--r-- | arch/x86/machine/pmap.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/arch/x86/machine/pmap.c b/arch/x86/machine/pmap.c index 888445b0..ea49856e 100644 --- a/arch/x86/machine/pmap.c +++ b/arch/x86/machine/pmap.c @@ -36,13 +36,13 @@ #include <kern/stddef.h> #include <kern/string.h> #include <kern/thread.h> -#include <kern/types.h> #include <machine/biosmem.h> #include <machine/boot.h> #include <machine/cpu.h> #include <machine/lapic.h> #include <machine/pmap.h> #include <machine/trap.h> +#include <machine/types.h> #include <vm/vm_kmem.h> #include <vm/vm_page.h> #include <vm/vm_prot.h> |