1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
/* SPDX-License-Identifier: GPL-2.0-only */ #include <types.h> #include <arch/cache.h> #include <bootblock_common.h> void bootblock_soc_init(void) { uint32_t sctlr; /* enable dcache */ sctlr = read_sctlr(); sctlr |= SCTLR_C; write_sctlr(sctlr); }