T243: Fix armv7 pmap code to work with new vnodes
authorSimon Gerber <simon.gerber@inf.ethz.ch>
Mon, 15 Aug 2016 11:50:34 +0000 (13:50 +0200)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Mon, 15 Aug 2016 11:59:50 +0000 (13:59 +0200)
commit3bdaa2af45eff654e36a2cb8e2e3654241404897
treefd916412a10c9c6d98fe9acbc8285b5e7ec07f73
parente57156737a12323f66bec5252e2a29e1d9d840fb
T243: Fix armv7 pmap code to work with new vnodes

Closes T243.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
include/target/arm/barrelfish/pmap_target.h
lib/barrelfish/arch/arm/pmap_arch.c