diff options
| author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2014-07-06 18:49:55 +0200 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2014-07-06 18:49:55 +0200 |
| commit | 859c342d11a2d018e7b220e955bbe1ba1940f02f (patch) | |
| tree | 1890b0757459549938be3ee5f2d23fcdcc94b019 /i386/intel | |
| parent | 97447914d6dcc32ada4ee028e1e2bab262501316 (diff) | |
Do not unmap page 0 when not needed
Since we need it to access some BIOS information, e.g. at ACPI shutdown. When
the kernel VM is not starting at 0, there is already nothing mapped there in
user tasks, anyway.
* i386/i386at/model_dep.c (machine_init) [VM_MIN_KERNEL_ADDRESS != 0]:
Do not call pmap_unmap_page_zero.
* i386/intel/pmap.c (pmap_unmap_page_zero): Warn that unmapping page
zero may break some BIOS functions.
Diffstat (limited to 'i386/intel')
| -rw-r--r-- | i386/intel/pmap.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/i386/intel/pmap.c b/i386/intel/pmap.c index 8a23a44..62b33cf 100644 --- a/i386/intel/pmap.c +++ b/i386/intel/pmap.c @@ -2835,6 +2835,7 @@ pmap_unmap_page_zero (void) { int *pte; + printf("Unmapping the zero page. Some BIOS functions may not be working any more.\n"); pte = (int *) pmap_pte (kernel_pmap, 0); if (!pte) return; |