summaryrefslogtreecommitdiff
path: root/ipc/ipc_splay.h
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2014-07-06 18:49:55 +0200
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2014-07-06 18:49:55 +0200
commit859c342d11a2d018e7b220e955bbe1ba1940f02f (patch)
tree1890b0757459549938be3ee5f2d23fcdcc94b019 /ipc/ipc_splay.h
parent97447914d6dcc32ada4ee028e1e2bab262501316 (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_splay.h')
0 files changed, 0 insertions, 0 deletions