1 // SPDX-License-Identifier: GPL-2.0
3 * (C) Copyright 2012 Stephen Warren
5 * See file CREDITS for list of people who contributed to this
11 unsigned long rpi_bcm283x_base;
13 int arch_cpu_init(void)
20 int mach_cpu_init(void)
22 rpi_bcm283x_base = CONFIG_BCM283x_BASE;
26 #ifdef CONFIG_ARMV7_LPAE
27 void enable_caches(void)