hc
2023-11-30 6c9be420e167ee7ce45c0309586f09ddab28ac15
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
// 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