18c2ecf20Sopenharmony_ci// SPDX-License-Identifier: GPL-2.0
28c2ecf20Sopenharmony_ci/*
38c2ecf20Sopenharmony_ci * Device Tree support for Marvell Berlin SoCs.
48c2ecf20Sopenharmony_ci *
58c2ecf20Sopenharmony_ci * Sebastian Hesselbarth <sebastian.hesselbarth@gmail.com>
68c2ecf20Sopenharmony_ci *
78c2ecf20Sopenharmony_ci * based on GPL'ed 2.6 kernel sources
88c2ecf20Sopenharmony_ci *  (c) Marvell International Ltd.
98c2ecf20Sopenharmony_ci */
108c2ecf20Sopenharmony_ci
118c2ecf20Sopenharmony_ci#include <linux/init.h>
128c2ecf20Sopenharmony_ci#include <linux/io.h>
138c2ecf20Sopenharmony_ci#include <linux/kernel.h>
148c2ecf20Sopenharmony_ci#include <linux/of_platform.h>
158c2ecf20Sopenharmony_ci#include <asm/hardware/cache-l2x0.h>
168c2ecf20Sopenharmony_ci#include <asm/mach/arch.h>
178c2ecf20Sopenharmony_ci
188c2ecf20Sopenharmony_cistatic const char * const berlin_dt_compat[] = {
198c2ecf20Sopenharmony_ci	"marvell,berlin",
208c2ecf20Sopenharmony_ci	NULL,
218c2ecf20Sopenharmony_ci};
228c2ecf20Sopenharmony_ci
238c2ecf20Sopenharmony_ciDT_MACHINE_START(BERLIN_DT, "Marvell Berlin")
248c2ecf20Sopenharmony_ci	.dt_compat	= berlin_dt_compat,
258c2ecf20Sopenharmony_ci	/*
268c2ecf20Sopenharmony_ci	 * with DT probing for L2CCs, berlin_init_machine can be removed.
278c2ecf20Sopenharmony_ci	 * Note: 88DE3005 (Armada 1500-mini) uses pl310 l2cc
288c2ecf20Sopenharmony_ci	 */
298c2ecf20Sopenharmony_ci	.l2c_aux_val	= 0x30c00000,
308c2ecf20Sopenharmony_ci	.l2c_aux_mask	= 0xfeffffff,
318c2ecf20Sopenharmony_ciMACHINE_END
32