Merge branch 'arrakis'
[barrelfish] / include / barrelfish / vregion.h
index 9342c4c..486971e 100644 (file)
@@ -30,7 +30,8 @@ __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     0xff // Mask of all individual VREGION_FLAGS
+#define VREGION_FLAGS_WRITE_COMBINING   0x100 // Write-combining caching
+#define VREGION_FLAGS_MASK     0x1ff // Mask of all individual VREGION_FLAGS
 #define VREGION_FLAGS_VTD_SNOOP  0x800 // Snooping (for pages) allowed by VT-d
 
 #define VREGION_FLAGS_READ_WRITE \