|
@@ -257,7 +257,11 @@ static inline void protected_flush_icache_line(unsigned long addr)
|
|
*/
|
|
*/
|
|
static inline void protected_writeback_dcache_line(unsigned long addr)
|
|
static inline void protected_writeback_dcache_line(unsigned long addr)
|
|
{
|
|
{
|
|
|
|
+#ifdef CONFIG_EVA
|
|
|
|
+ protected_cachee_op(Hit_Writeback_Inv_D, addr);
|
|
|
|
+#else
|
|
protected_cache_op(Hit_Writeback_Inv_D, addr);
|
|
protected_cache_op(Hit_Writeback_Inv_D, addr);
|
|
|
|
+#endif
|
|
}
|
|
}
|
|
|
|
|
|
static inline void protected_writeback_scache_line(unsigned long addr)
|
|
static inline void protected_writeback_scache_line(unsigned long addr)
|