// SPDX-License-Identifier: GPL-2.0+ /* * Copyright 2014 Broadcom Corporation. */ #include #include #include #if !CONFIG_IS_ENABLED(SYS_DCACHE_OFF) void enable_caches(void) { /* Enable D-cache. I-cache is already enabled in start.S */ dcache_enable(); } #endif