Fixed VREGION_FLAGS_MASK.
authorSimon Gerber <simon.gerber@hp.com>
Mon, 30 Jun 2014 18:42:00 +0000 (11:42 -0700)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Thu, 30 Apr 2015 19:19:28 +0000 (21:19 +0200)
commitcec757b27958bcc521b60142de3f52d6cb1c7f3e
tree337566cc4a2d6cd6edd49cf6b063d79ed99b52c4
parent6e8df3831c696deea2de5a1b97605339e5d70044
Fixed VREGION_FLAGS_MASK.

Signed-off-by: Simon Gerber <simon.gerber@hp.com>
include/barrelfish/vregion.h