3 * Copyright (c) 2011-2015, ARM Limited. All rights reserved.
5 * SPDX-License-Identifier: BSD-2-Clause-Patent
10 #include <Library/IoLib.h>
11 #include <Library/ArmGicLib.h>
15 ArmGicEnableDistributor (
16 IN INTN GicDistributorBase
19 ARM_GIC_ARCH_REVISION Revision
;
22 * Enable GIC distributor in Non-Secure world.
23 * Note: The ICDDCR register is banked when Security extensions are implemented
25 Revision
= ArmGicGetSupportedArchRevision ();
26 if (Revision
== ARM_GIC_ARCH_REVISION_2
) {
27 MmioWrite32 (GicDistributorBase
+ ARM_GIC_ICDDCR
, 0x1);
29 if (MmioRead32 (GicDistributorBase
+ ARM_GIC_ICDDCR
) & ARM_GIC_ICDDCR_ARE
) {
30 MmioOr32 (GicDistributorBase
+ ARM_GIC_ICDDCR
, 0x2);
32 MmioOr32 (GicDistributorBase
+ ARM_GIC_ICDDCR
, 0x1);