berlin.c (754B)
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 18static const char * const berlin_dt_compat[] = { 19 "marvell,berlin", 20 NULL, 21}; 22 23DT_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, 31MACHINE_END