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 
flush_dcache_range(unsigned long start,unsigned long end)9 void flush_dcache_range(unsigned long start, unsigned long end)
10 {
11 }
12 
invalidate_icache_range(unsigned long start,unsigned long end)13 void invalidate_icache_range(unsigned long start, unsigned long end)
14 {
15 }
16 
invalidate_dcache_range(unsigned long start,unsigned long end)17 void invalidate_dcache_range(unsigned long start, unsigned long end)
18 {
19 }
20 
flush_cache(unsigned long addr,unsigned long size)21 void flush_cache(unsigned long addr, unsigned long size)
22 {
23 }
24 
icache_enable(void)25 void icache_enable(void)
26 {
27 }
28 
icache_disable(void)29 void icache_disable(void)
30 {
31 }
32 
icache_status(void)33 int icache_status(void)
34 {
35 	return 0;
36 }
37 
dcache_enable(void)38 void dcache_enable(void)
39 {
40 }
41 
dcache_disable(void)42 void dcache_disable(void)
43 {
44 }
45 
dcache_status(void)46 int dcache_status(void)
47 {
48 	return 0;
49 }
50