x86_64: fixed unmap last leaf, added code to allow users to easily map large/huge...
authorSimon Gerber <simon.gerber@hp.com>
Tue, 17 Jun 2014 00:19:33 +0000 (17:19 -0700)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Thu, 30 Apr 2015 19:19:27 +0000 (21:19 +0200)
commit7e3c9de3434168f4444fdba79b6ca68657be92ef
treecd9f8d7f4ad0e8b3bc934551e7b710c058021c04
parent411497e71946fa5df110fdb4baebf7f62d33522c
x86_64: fixed unmap last leaf, added code to allow users to easily map large/huge pages.

Signed-off-by: Simon Gerber <simon.gerber@hp.com>
include/barrelfish/vspace_common.h
kernel/arch/x86_64/page_mappings_arch.c
lib/barrelfish/target/x86_64/pmap_target.c
lib/barrelfish/vspace/utils.c
lib/barrelfish/vspace/vregion.c