diff options
| -rw-r--r-- | i386/i386at/model_dep.c | 14 | ||||
| -rw-r--r-- | i386/intel/pmap.c | 6 |
2 files changed, 20 insertions, 0 deletions
diff --git a/i386/i386at/model_dep.c b/i386/i386at/model_dep.c index bbdf9dc..3761093 100644 --- a/i386/i386at/model_dep.c +++ b/i386/i386at/model_dep.c @@ -394,6 +394,13 @@ i386at_init(void) kernel_page_dir[lin2pdenum(INIT_VM_MIN_KERNEL_ADDRESS) + i] = kernel_page_dir[lin2pdenum(LINEAR_MIN_KERNEL_ADDRESS) + i]; #endif + /* We need BIOS memory mapped at 0xc0000 & co for Linux drivers */ +#ifdef LINUX_DEV +#if VM_MIN_KERNEL_ADDRESS != 0 + kernel_page_dir[lin2pdenum(LINEAR_MIN_KERNEL_ADDRESS - VM_MIN_KERNEL_ADDRESS)] = + kernel_page_dir[lin2pdenum(LINEAR_MIN_KERNEL_ADDRESS)]; +#endif +#endif #ifdef MACH_XEN for (i = 0; i < PDPNUM; i++) @@ -458,6 +465,13 @@ i386at_init(void) #endif /* MACH_XEN */ } #endif + /* Keep BIOS memory mapped */ +#ifdef LINUX_DEV +#if VM_MIN_KERNEL_ADDRESS != 0 + kernel_page_dir[lin2pdenum(LINEAR_MIN_KERNEL_ADDRESS - VM_MIN_KERNEL_ADDRESS)] = + kernel_page_dir[lin2pdenum(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 d8865b2..f0623de 100644 --- a/i386/intel/pmap.c +++ b/i386/intel/pmap.c @@ -1128,6 +1128,12 @@ pmap_t pmap_create(size) panic("pmap_create"); memcpy(p->dirbase, kernel_page_dir, PDPNUM * INTEL_PGBYTES); +#ifdef LINUX_DEV +#if VM_MIN_KERNEL_ADDRESS != 0 + /* Do not map BIOS in user tasks */ + p->dirbase[lin2pdenum(LINEAR_MIN_KERNEL_ADDRESS - VM_MIN_KERNEL_ADDRESS)] = 0; +#endif +#endif #ifdef MACH_XEN { int i; |