diff options
| -rw-r--r-- | i386/i386at/model_dep.c | 6 | ||||
| -rw-r--r-- | i386/intel/pmap.c | 2 |
2 files changed, 1 insertions, 7 deletions
diff --git a/i386/i386at/model_dep.c b/i386/i386at/model_dep.c index 1e98c5c3..34045dc5 100644 --- a/i386/i386at/model_dep.c +++ b/i386/i386at/model_dep.c @@ -447,13 +447,11 @@ i386at_init(void) kernel_page_dir[lin2pdenum_cont(INIT_VM_MIN_KERNEL_ADDRESS) + i] = kernel_page_dir[lin2pdenum_cont(LINEAR_MIN_KERNEL_ADDRESS) + i]; #endif - /* We need BIOS memory mapped at 0xc0000 & co for Linux drivers */ -#ifdef LINUX_DEV + /* We need BIOS memory mapped at 0xc0000 & co for BIOS accesses */ #if VM_MIN_KERNEL_ADDRESS != 0 kernel_page_dir[lin2pdenum_cont(LINEAR_MIN_KERNEL_ADDRESS - VM_MIN_KERNEL_ADDRESS)] = kernel_page_dir[lin2pdenum_cont(LINEAR_MIN_KERNEL_ADDRESS)]; #endif -#endif #ifdef MACH_PV_PAGETABLES for (i = 0; i < PDPNUM; i++) @@ -523,12 +521,10 @@ i386at_init(void) } #endif /* Keep BIOS memory mapped */ -#ifdef LINUX_DEV #if VM_MIN_KERNEL_ADDRESS != 0 kernel_page_dir[lin2pdenum_cont(LINEAR_MIN_KERNEL_ADDRESS - VM_MIN_KERNEL_ADDRESS)] = kernel_page_dir[lin2pdenum_cont(LINEAR_MIN_KERNEL_ADDRESS)]; #endif -#endif /* Not used after boot, better give it back. */ #ifdef MACH_XEN diff --git a/i386/intel/pmap.c b/i386/intel/pmap.c index 347474a9..d0df3181 100644 --- a/i386/intel/pmap.c +++ b/i386/intel/pmap.c @@ -1264,7 +1264,6 @@ pmap_t pmap_create(vm_size_t size) INTEL_PGBYTES); } -#ifdef LINUX_DEV #if VM_MIN_KERNEL_ADDRESS != 0 /* Do not map BIOS in user tasks */ page_dir @@ -1276,7 +1275,6 @@ pmap_t pmap_create(vm_size_t size) [lin2pdenum(LINEAR_MIN_KERNEL_ADDRESS - VM_MIN_KERNEL_ADDRESS)] = 0; #endif -#endif #ifdef MACH_PV_PAGETABLES { for (i = 0; i < PDPNUM; i++) |