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)
Signed-off-by: Simon Gerber <simon.gerber@hp.com>

include/barrelfish/vregion.h

index f515548..551a8f9 100644 (file)
@@ -29,7 +29,7 @@ __BEGIN_DECLS
 // XXX: figure out how to do this arch-independent(?) -SG, 2014-06-16
 #define VREGION_FLAGS_LARGE    0x40 // Map large pages, if possible
 #define VREGION_FLAGS_HUGE     0x80 // Map huge pages, if possible
-#define VREGION_FLAGS_MASK     0x8f // Mask of all individual VREGION_FLAGS
+#define VREGION_FLAGS_MASK     0xff // Mask of all individual VREGION_FLAGS
 
 #define VREGION_FLAGS_READ_WRITE \
     (VREGION_FLAGS_READ | VREGION_FLAGS_WRITE)