1 /*
2  * Copyright (c) 2018-2021, ARM Limited and Contributors. All rights reserved.
3  *
4  * SPDX-License-Identifier: BSD-3-Clause
5  */
6 
7 #ifndef PLATFORM_DEF_H
8 #define PLATFORM_DEF_H
9 
10 #include <lib/utils_def.h>
11 
12 #include <sgi_sdei.h>
13 #include <sgi_soc_platform_def.h>
14 
15 #define PLAT_ARM_CLUSTER_COUNT		U(2)
16 #define CSS_SGI_MAX_CPUS_PER_CLUSTER	U(4)
17 #define CSS_SGI_MAX_PE_PER_CPU		U(1)
18 
19 #define PLAT_CSS_MHU_BASE		UL(0x45000000)
20 
21 /* Base address of DMC-620 instances */
22 #define SGI575_DMC620_BASE0		UL(0x4e000000)
23 #define SGI575_DMC620_BASE1		UL(0x4e100000)
24 
25 /* System power domain level */
26 #define CSS_SYSTEM_PWR_DMN_LVL		ARM_PWR_LVL2
27 
28 #define PLAT_MAX_PWR_LVL		ARM_PWR_LVL1
29 
30 /*
31  * Physical and virtual address space limits for MMU in AARCH64 & AARCH32 modes
32  */
33 #ifdef __aarch64__
34 #define PLAT_PHY_ADDR_SPACE_SIZE	(1ULL << 36)
35 #define PLAT_VIRT_ADDR_SPACE_SIZE	(1ULL << 36)
36 #else
37 #define PLAT_PHY_ADDR_SPACE_SIZE	(1ULL << 32)
38 #define PLAT_VIRT_ADDR_SPACE_SIZE	(1ULL << 32)
39 #endif
40 
41 /* GIC related constants */
42 #define PLAT_ARM_GICD_BASE		UL(0x30000000)
43 #define PLAT_ARM_GICC_BASE		UL(0x2C000000)
44 #define PLAT_ARM_GICR_BASE		UL(0x300C0000)
45 
46 #endif /* PLATFORM_DEF_H */
47