Closes T154: pmap, kernel: Add support for write-combining on ia32/64
[barrelfish] / lib / barrelfish / target / x86_64 / pmap_target.c
index a0802d9..345c2de 100644 (file)
@@ -56,6 +56,10 @@ static paging_x86_64_flags_t vregion_to_pmap_flag(vregion_flags_t vregion_flags)
         if (vregion_flags & VREGION_FLAGS_NOCACHE) {
             pmap_flags |= PTABLE_CACHE_DISABLED;
         }
+        else if (vregion_flags & VREGION_FLAGS_WRITE_COMBINING) {
+            // PA4 is configured as write-combining
+            pmap_flags |= PTABLE_ATTR_INDEX;
+        }
     }
 
     return pmap_flags;