sec_rsrc.h 570 B

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