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