diff --git a/arch/arm64/mm/dma-mapping.c b/arch/arm64/mm/dma-mapping.c
index 5240f6acad64..fb399b201f71 100644
--- a/arch/arm64/mm/dma-mapping.c
+++ b/arch/arm64/mm/dma-mapping.c
@@ -78,3 +78,8 @@ void arch_setup_dma_ops(struct device *dev, u64 dma_base, u64 size,
 
 	xen_setup_dma_ops(dev);
 }
+
+#ifdef CONFIG_NO_GKI
+EXPORT_SYMBOL(dcache_clean_poc);
+EXPORT_SYMBOL(dcache_inval_poc);
+#endif