1#include <asm/mach/arch.h>
2
3#include "core.h"
4
5static const char * const v2m_dt_match[] __initconst = {
6	"arm,vexpress",
7	NULL,
8};
9
10DT_MACHINE_START(VEXPRESS_DT, "ARM-Versatile Express")
11	.dt_compat	= v2m_dt_match,
12	.l2c_aux_val	= 0x00400000,
13	.l2c_aux_mask	= 0xfe0fffff,
14	.smp		= smp_ops(vexpress_smp_dt_ops),
15	.smp_init	= smp_init_ops(vexpress_smp_init_ops),
16MACHINE_END
17