diff options
Diffstat (limited to 'i386/i386at/model_dep.c')
| -rw-r--r-- | i386/i386at/model_dep.c | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/i386/i386at/model_dep.c b/i386/i386at/model_dep.c index 362ba7fa..565f1894 100644 --- a/i386/i386at/model_dep.c +++ b/i386/i386at/model_dep.c @@ -32,15 +32,12 @@ * Basic initialization for I386 - ISA bus machines. */ -#include <platforms.h> -#include <mach_kdb.h> - #include <mach/vm_param.h> #include <mach/vm_prot.h> #include <mach/machine.h> #include <mach/machine/multiboot.h> -#include "vm_param.h" +#include <i386/vm_param.h> #include <kern/time_out.h> #include <kern/assert.h> #include <kern/cpu_number.h> @@ -48,7 +45,7 @@ #include <vm/vm_page.h> #include <i386/machspl.h> #include <i386/pmap.h> -#include "proc_reg.h" +#include <i386/proc_reg.h> /* Location of the kernel's symbol table. Both of these are 0 if none is available. */ |