0001
0002
0003
0004
0005
0006
0007
0008 #include <linux/io.h>
0009 #include <linux/irqchip.h>
0010 #include <linux/of_platform.h>
0011 #include <linux/clk-provider.h>
0012 #include <asm/mach/arch.h>
0013 #include <asm/hardware/cache-l2x0.h>
0014
0015 #include "common.h"
0016
0017 static const char *const mmp3_dt_board_compat[] __initconst = {
0018 "marvell,mmp3",
0019 NULL,
0020 };
0021
0022 DT_MACHINE_START(MMP2_DT, "Marvell MMP3")
0023 .map_io = mmp2_map_io,
0024 .dt_compat = mmp3_dt_board_compat,
0025 .l2c_aux_val = 1 << L310_AUX_CTRL_FWA_SHIFT |
0026 L310_AUX_CTRL_DATA_PREFETCH |
0027 L310_AUX_CTRL_INSTR_PREFETCH,
0028 .l2c_aux_mask = 0xc20fffff,
0029 MACHINE_END