1 // SPDX-License-Identifier: GPL-2.0
2 #include <asm/mach/arch.h>
6 static const char * const v2m_dt_match
[] __initconst
= {
11 DT_MACHINE_START(VEXPRESS_DT
, "ARM-Versatile Express")
12 .dt_compat
= v2m_dt_match
,
13 .l2c_aux_val
= 0x00400000,
14 .l2c_aux_mask
= 0xfe0fffff,
15 .smp
= smp_ops(vexpress_smp_dt_ops
),
16 .smp_init
= smp_init_ops(vexpress_smp_init_ops
),