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