Merge branch 'arrakis'
[barrelfish] / include / barrelfish / vregion.h
index 48c6f4b..486971e 100644 (file)
@@ -32,15 +32,16 @@ __BEGIN_DECLS
 #define VREGION_FLAGS_HUGE     0x80 // Map huge pages, if possible
 #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 \
-    (VREGION_FLAGS_READ | VREGION_FLAGS_WRITE)
+    (VREGION_FLAGS_READ | VREGION_FLAGS_WRITE | VREGION_FLAGS_VTD_SNOOP)
 #define VREGION_FLAGS_READ_EXECUTE \
-    (VREGION_FLAGS_READ | VREGION_FLAGS_EXECUTE)
+    (VREGION_FLAGS_READ | VREGION_FLAGS_EXECUTE | VREGION_FLAGS_VTD_SNOOP)
 #define VREGION_FLAGS_READ_WRITE_NOCACHE \
-    (VREGION_FLAGS_READ | VREGION_FLAGS_WRITE | VREGION_FLAGS_NOCACHE)
+    (VREGION_FLAGS_READ | VREGION_FLAGS_WRITE | VREGION_FLAGS_NOCACHE | VREGION_FLAGS_VTD_SNOOP)
 #define VREGION_FLAGS_READ_WRITE_MPB \
-    (VREGION_FLAGS_READ | VREGION_FLAGS_WRITE | VREGION_FLAGS_MPB)
+    (VREGION_FLAGS_READ | VREGION_FLAGS_WRITE | VREGION_FLAGS_MPB | VREGION_FLAGS_VTD_SNOOP)
 
 struct vspace;
 struct memobj;