| 123456789101112131415161718 |
- // SPDX-License-Identifier: GPL-2.0
- #include <asm/mach/arch.h>
- #include "core.h"
- static const char * const v2m_dt_match[] __initconst = {
- "arm,vexpress",
- NULL,
- };
- DT_MACHINE_START(VEXPRESS_DT, "ARM-Versatile Express")
- .dt_compat = v2m_dt_match,
- .l2c_aux_val = 0x00400000,
- .l2c_aux_mask = 0xfe0fffff,
- .smp = smp_ops(vexpress_smp_dt_ops),
- .smp_init = smp_init_ops(vexpress_smp_init_ops),
- MACHINE_END
|
