x86_64: cleanup of pmap do_map and supporting code.
authorSimon Gerber <simon.gerber@hp.com>
Mon, 16 Jun 2014 18:38:45 +0000 (11:38 -0700)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Thu, 30 Apr 2015 19:19:27 +0000 (21:19 +0200)
commitb1a34b18b5f605088295a6795fba7f8dba7c59ec
tree41486a42bfc470c5be90458c7221575067c39868
parent49e6277d390a8d7c8383c780dfe525d68753a0d2
x86_64: cleanup of pmap do_map and supporting code.

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