1 // SPDX-License-Identifier: GPL-2.0+
12 #include <asm/processor.h>
25 int cleanup_before_linux(void)
31 int do_reset(cmd_tbl_t *cmdtp, int flag, int argc, char * const argv[])
38 void flush_cache(unsigned long addr, unsigned long size)
43 void icache_enable(void)
47 void icache_disable(void)
51 int icache_status(void)
56 void dcache_enable(void)
60 void dcache_disable(void)
64 int dcache_status(void)