1// SPDX-License-Identifier: GPL-2.0
 2#include <asm/mach/arch.h>
 3#include <asm/hardware/cache-l2x0.h>
 4#include "smc.h"
 5#include "pm.h"
 6
 7static void tango_l2c_write(unsigned long val, unsigned int reg)
 8{
 9	if (reg == L2X0_CTRL)
10		tango_set_l2_control(val);
11}
12
13static const char *const tango_dt_compat[] = { "sigma,tango4", NULL };
14
15DT_MACHINE_START(TANGO_DT, "Sigma Tango DT")
16	.dt_compat	= tango_dt_compat,
17	.l2c_aux_mask	= ~0,
18	.l2c_write_sec	= tango_l2c_write,
19	.init_late	= tango_pm_init,
20MACHINE_END