/** @file\r
*\r
-* Copyright (c) 2011-2014, ARM Limited. All rights reserved.\r
+* Copyright (c) 2011-2015, ARM Limited. All rights reserved.\r
*\r
* This program and the accompanying materials\r
* are licensed and made available under the terms and conditions of the BSD License\r
IN INTN GicDistributorBase\r
)\r
{\r
+ ARM_GIC_ARCH_REVISION Revision;\r
+\r
/*\r
* Enable GIC distributor in Non-Secure world.\r
* Note: The ICDDCR register is banked when Security extensions are implemented\r
*/\r
- MmioWrite32 (GicDistributorBase + ARM_GIC_ICDDCR, 0x1);\r
+ Revision = ArmGicGetSupportedArchRevision ();\r
+ if (Revision == ARM_GIC_ARCH_REVISION_2) {\r
+ MmioWrite32 (GicDistributorBase + ARM_GIC_ICDDCR, 0x1);\r
+ } else {\r
+ if (MmioRead32 (GicDistributorBase + ARM_GIC_ICDDCR) & ARM_GIC_ICDDCR_ARE) {\r
+ MmioOr32 (GicDistributorBase + ARM_GIC_ICDDCR, 0x2);\r
+ } else {\r
+ MmioOr32 (GicDistributorBase + ARM_GIC_ICDDCR, 0x1);\r
+ }\r
+ }\r
}\r