1 // SPDX-License-Identifier: GPL-2.0-only
3 * Marvell MMP3 aka PXA2128 aka 88AP2128 support
5 * Copyright (C) 2019 Lubomir Rintel <lkundrak@v3.sk>
9 #include <linux/irqchip.h>
10 #include <linux/of_platform.h>
11 #include <linux/clk-provider.h>
12 #include <asm/mach/arch.h>
13 #include <asm/hardware/cache-l2x0.h>
17 static const char *const mmp3_dt_board_compat
[] __initconst
= {
22 DT_MACHINE_START(MMP2_DT
, "Marvell MMP3")
23 .map_io
= mmp2_map_io
,
24 .dt_compat
= mmp3_dt_board_compat
,
25 .l2c_aux_val
= 1 << L310_AUX_CTRL_FWA_SHIFT
|
26 L310_AUX_CTRL_DATA_PREFETCH
|
27 L310_AUX_CTRL_INSTR_PREFETCH
,
28 .l2c_aux_mask
= 0xc20fffff,