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