1// SPDX-License-Identifier: GPL-2.0 2#include <asm/mach/arch.h> 3 4#include "core.h" 5 6static const char * const v2m_dt_match[] __initconst = { 7 "arm,vexpress", 8 NULL, 9}; 10 11DT_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), 17MACHINE_END 18