// SPDX-License-Identifier: GPL-2.0 /* * Copyright (C) 2018 MediaTek Inc. */ #include #include #include #include #include #include int arch_cpu_init(void) { icache_enable(); return 0; } void enable_caches(void) { /* Enable D-cache. I-cache is already enabled in start.S */ dcache_enable(); }