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 /ipc/ipc_right.h | |
| 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 'ipc/ipc_right.h')
0 files changed, 0 insertions, 0 deletions