If no sifive cache flush is defined, do not flush.
Signed-off-by: Seung-Woo Kim <sw0312.kim@samsung.com>
Signed-off-by: Marek Szyprowski <m.szyprowski@samsung.com>
Change-Id: I930d0266b31d90d43d8eef4f6029b3faac7e5cc3
static void SetVoltage(IMG_UINT32 ui32Volt) {}
#endif
+#ifdef CONFIG_SIFIVE_FLUSH
extern void sifive_flush64_range(unsigned long start, unsigned long len);
+#endif
void do_sifive_l2_flush64_range(unsigned long start, unsigned long len)
{
+#ifdef CONFIG_SIFIVE_FLUSH
sifive_flush64_range(ALIGN_DOWN(start, 64), len + start % 64);
+#endif
}
void do_invalid_range(unsigned long start, unsigned long len)