diff options
| -rw-r--r-- | i386/intel/pmap.c | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/i386/intel/pmap.c b/i386/intel/pmap.c index 0305eb3f..0bb1a490 100644 --- a/i386/intel/pmap.c +++ b/i386/intel/pmap.c @@ -1326,6 +1326,7 @@ 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 @@ -1337,6 +1338,8 @@ pmap_t pmap_create(vm_size_t size) [lin2pdenum(LINEAR_MIN_KERNEL_ADDRESS - VM_MIN_KERNEL_ADDRESS)] = 0; #endif +#endif /* LINUX_DEV */ + #ifdef MACH_PV_PAGETABLES { for (i = 0; i < PDPNUM; i++) @@ -3120,11 +3123,14 @@ pmap_make_temporary_mapping(void) kernel_page_dir[lin2pdenum_cont(INIT_VM_MIN_KERNEL_ADDRESS) + i] = kernel_page_dir[lin2pdenum_cont(LINEAR_MIN_KERNEL_ADDRESS) + i]; #endif + +#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 /* LINUX_DEV */ #ifdef MACH_PV_PAGETABLES #ifndef __x86_64__ @@ -3184,11 +3190,14 @@ pmap_remove_temporary_mapping(void) #endif /* MACH_XEN */ } #endif + +#ifdef LINUX_DEV /* Keep BIOS memory mapped */ #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 /* LINUX_DEV */ /* Not used after boot, better give it back. */ #ifdef MACH_XEN |