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
10 #include <dm/device.h>
11 #include <fdt_support.h>
13 unsigned long rpi_bcm283x_base = 0x3f000000;
15 int arch_cpu_init(void)
22 int mach_cpu_init(void)
27 /* Get IO base from device tree */
28 soc_offset = fdt_path_offset(gd->fdt_blob, "/soc");
32 ret = fdt_read_range((void *)gd->fdt_blob, soc_offset, 0, NULL,
37 rpi_bcm283x_base = io_base;
42 #ifdef CONFIG_ARMV7_LPAE
43 void enable_caches(void)