2 * Copyright (C) 2017 Andes Technology Corporation
3 * Rick Chen, Andes Technology Corporation <rick@andestech.com>
5 * SPDX-License-Identifier: GPL-2.0+
10 void flush_dcache_range(unsigned long start, unsigned long end)
14 void invalidate_icache_range(unsigned long start, unsigned long end)
18 void invalidate_dcache_range(unsigned long start, unsigned long end)
22 void flush_cache(unsigned long addr, unsigned long size)
26 void icache_enable(void)
30 void icache_disable(void)
34 int icache_status(void)
39 void dcache_enable(void)
43 void dcache_disable(void)
47 int dcache_status(void)