1 /*
2  * Copyright (c) 2015-2018, ARM Limited and Contributors. All rights reserved.
3  *
4  * SPDX-License-Identifier: BSD-3-Clause
5  */
6 
7 /* resources that are going to stay in secure partition */
8 sc_rsrc_t secure_rsrcs[] = {
9 	SC_R_MU_0A,
10 	SC_R_A53,
11 	SC_R_A53_0,
12 	SC_R_A53_1,
13 	SC_R_A53_2,
14 	SC_R_A53_3,
15 	SC_R_A72,
16 	SC_R_A72_0,
17 	SC_R_A72_1,
18 	SC_R_GIC,
19 	SC_R_GIC_SMMU,
20 	SC_R_CCI,
21 	SC_R_SYSTEM,
22 	SC_R_IRQSTR_SCU2,
23 	SC_R_GPT_0
24 };
25 
26 /* resources that have register access for non-secure domain */
27 sc_rsrc_t ns_access_allowed[] = {
28 	SC_R_GIC,
29 	SC_R_GIC_SMMU,
30 	SC_R_CCI,
31 	SC_R_GPT_0
32 };
33