diff --git a/arch/arm64/include/asm/kvm_mmu.h b/arch/arm64/include/asm/kvm_mmu.h
index 7a8dc3f343ec..0c2589513be3 100644
--- a/arch/arm64/include/asm/kvm_mmu.h
+++ b/arch/arm64/include/asm/kvm_mmu.h
@@ -182,13 +182,8 @@ static inline void *__kvm_vector_slot2addr(void *base,
 
 struct kvm;
 
-#define kvm_flush_dcache_to_poc(a, l)	do {			\
-	unsigned long __a = (unsigned long)(a);			\
-	unsigned long __l = (unsigned long)(l);			\
-								\
-	if (__l)						\
-		dcache_clean_inval_poc(__a, __a + __l);		\
-} while (0)
+#define kvm_flush_dcache_to_poc(a,l)	\
+	dcache_clean_inval_poc((unsigned long)(a), (unsigned long)(a)+(l))
 
 static inline bool vcpu_has_cache_enabled(struct kvm_vcpu *vcpu)
 {