1 // SPDX-License-Identifier: GPL-2.0+
3 * Copyright (C) 2017 Andes Technology Corporation
4 * Rick Chen, Andes Technology Corporation <rick@andestech.com>
9 void flush_dcache_range(unsigned long start, unsigned long end)
13 void invalidate_icache_range(unsigned long start, unsigned long end)
17 void invalidate_dcache_range(unsigned long start, unsigned long end)
21 void flush_cache(unsigned long addr, unsigned long size)
25 void icache_enable(void)
29 void icache_disable(void)
33 int icache_status(void)
38 void dcache_enable(void)
42 void dcache_disable(void)
46 int dcache_status(void)