+#ifdef cpu_dcache_is_aliasing
+ /*
+ * Some architectures implement flush_dcache_page() but don't
+ * actually have aliasing dcache. cpu_dcache_is_aliasing() was
+ * introduced in kernel v6.9 to query this more precisely.
+ */
+ if (!cpu_dcache_is_aliasing())
+ return;
+#endif
+