1 /*
2  * (C) Copyright 2013 Linaro
3  * Andre Przywara, <andre.przywara@linaro.org>
4  *
5  * Configuration for Versatile Express. Parts were derived from other ARM
6  *   configurations.
7  *
8  * SPDX-License-Identifier:	GPL-2.0+
9  */
10 
11 #ifndef __VEXPRESS_CA15X2_TC2_h
12 #define __VEXPRESS_CA15X2_TC2_h
13 
14 #define CONFIG_VEXPRESS_EXTENDED_MEMORY_MAP
15 #include "vexpress_common.h"
16 
17 #define CONFIG_SYSFLAGS_ADDR	0x1c010030
18 #define CONFIG_SMP_PEN_ADDR	CONFIG_SYSFLAGS_ADDR
19 #define CONFIG_ARMV7_PSCI_NR_CPUS	4
20 
21 #endif
22