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_A35,
11 	SC_R_A35_0,
12 	SC_R_A35_1,
13 	SC_R_A35_2,
14 	SC_R_A35_3,
15 	SC_R_GIC,
16 	SC_R_SYSTEM,
17 	SC_R_IRQSTR_SCU2,
18 	SC_R_GPT_0
19 };
20 
21 /* resources that have register access for non-secure domain */
22 sc_rsrc_t ns_access_allowed[] = {
23 	SC_R_GIC,
24 	SC_R_GPT_0
25 };
26