1 // SPDX-License-Identifier: GPL-2.0+ 2 /* 3 * Copyright (C) 2017 Andes Technology Corporation 4 * Rick Chen, Andes Technology Corporation <rick@andestech.com> 5 */ 6 7 #include <common.h> 8 9 void flush_dcache_range(unsigned long start, unsigned long end) 10 { 11 } 12 13 void invalidate_icache_range(unsigned long start, unsigned long end) 14 { 15 } 16 17 void invalidate_dcache_range(unsigned long start, unsigned long end) 18 { 19 } 20 21 void flush_cache(unsigned long addr, unsigned long size) 22 { 23 } 24 25 void icache_enable(void) 26 { 27 } 28 29 void icache_disable(void) 30 { 31 } 32 33 int icache_status(void) 34 { 35 return 0; 36 } 37 38 void dcache_enable(void) 39 { 40 } 41 42 void dcache_disable(void) 43 { 44 } 45 46 int dcache_status(void) 47 { 48 return 0; 49 } 50