If no sifive cache flush is defined, do not flush.
Change-Id: Iae4ac4e1d96a543144c0b3e8bbedc476154de84b
Signed-off-by: Seung-Woo Kim <sw0312.kim@samsung.com>
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)