Closes T154: pmap, kernel: Add support for write-combining on ia32/64

[barrelfish] / lib / barrelfish / target / x86_32 / pmap_target.c

diff --git a/lib/barrelfish/target/x86_32/pmap_target.c b/lib/barrelfish/target/x86_32/pmap_target.c
index 90ed6c5..d44bf44 100644 (file)
--- a/lib/barrelfish/target/x86_32/pmap_target.c
+++ b/lib/barrelfish/target/x86_32/pmap_target.c
@@ -57,6 +57,10 @@ static paging_x86_32_flags_t vregion_to_pmap_flag(vregion_flags_t vregion_flags)
         if (vregion_flags & VREGION_FLAGS_NOCACHE) {
             pmap_flags |= X86_32_PTABLE_CACHE_DISABLED;
         }
+        else if (vregion_flags & VREGION_FLAGS_WRITE_COMBINING) {
+            // PA4 is configured as write-combining
+            pmap_flags |= PTABLE_ATTR_INDEX;
+        }
 #ifdef __scc__
         if (vregion_flags & VREGION_FLAGS_MPB) {
             pmap_flags |= SCC_PTABLE_MESSAGE_BUFFER;