update

[l4.git] / kernel / fiasco / src / kern / arm / vmem_alloc-arch.cpp

diff --git a/kernel/fiasco/src/kern/arm/vmem_alloc-arch.cpp b/kernel/fiasco/src/kern/arm/vmem_alloc-arch.cpp
index 8daa490d3f00df0725dc4ff899f11a66945ee516..f58d4ebc16b6cc024d02cc16056cd7b98778436c 100644 (file)
--- a/kernel/fiasco/src/kern/arm/vmem_alloc-arch.cpp
+++ b/kernel/fiasco/src/kern/arm/vmem_alloc-arch.cpp
@@ -38,7 +38,7 @@ void *Vmem_alloc::page_alloc(void *address, Zero_fill zf, unsigned mode)
     r |= Page::Rights::U();
 
   pte.create_page(Phys_mem_addr(page), Page::Attr(r, Page::Type::Normal(), Page::Kern::Global()));
-  pte.write_back_if(true);
+  pte.write_back_if(true, Mem_unit::Asid_kernel);
   Mem_unit::dtlb_flush(address);
 
   if (zf == ZERO_FILL)