1 // SPDX-License-Identifier: GPL-2.0 2 /* 3 * Device Tree support for Marvell Berlin SoCs. 4 * 5 * Sebastian Hesselbarth <sebastian.hesselbarth@gmail.com> 6 * 7 * based on GPL'ed 2.6 kernel sources 8 * (c) Marvell International Ltd. 9 */ 10 11 #include <linux/init.h> 12 #include <linux/io.h> 13 #include <linux/kernel.h> 14 #include <linux/of_platform.h> 15 #include <asm/hardware/cache-l2x0.h> 16 #include <asm/mach/arch.h> 17 18 static const char * const berlin_dt_compat[] = { 19 "marvell,berlin", 20 NULL, 21 }; 22 23 DT_MACHINE_START(BERLIN_DT, "Marvell Berlin") 24 .dt_compat = berlin_dt_compat, 25 /* 26 * with DT probing for L2CCs, berlin_init_machine can be removed. 27 * Note: 88DE3005 (Armada 1500-mini) uses pl310 l2cc 28 */ 29 .l2c_aux_val = 0x30c00000, 30 .l2c_aux_mask = 0xfeffffff, 31 MACHINE_END 32