diff --git a/kernel/fiasco/src/kern/arm/mem_op.cpp b/kernel/fiasco/src/kern/arm/mem_op.cpp
index 8a15e5c1..fb15a8a8 100644
--- a/kernel/fiasco/src/kern/arm/mem_op.cpp
+++ b/kernel/fiasco/src/kern/arm/mem_op.cpp
@@ -99,7 +99,7 @@ Mem_op::__arm_kmem_l1_cache_maint(int op, void const *kstart, void const *kend)
       break;
 
     case Op_cache_dma_coherent:
-      Mem_unit::flush_dcache(Virt_addr(Address(kstart)), Virt_addr(Address(kend)));
+      Mem_unit::flush_dcache(kstart, kend);
       break;
 
     // We might not want to implement this one but single address outer