ArmPkg: Replace BSD License with BSD+Patent License

[mirror_edk2.git] / ArmPkg / Drivers / ArmGic / ArmGicNonSecLib.c

/** @file\r
*\r
*  Copyright (c) 2011-2015, ARM Limited. All rights reserved.\r
*\r
*  SPDX-License-Identifier: BSD-2-Clause-Patent\r
*\r
**/\r
\r
#include <Uefi.h>\r
#include <Library/IoLib.h>\r
#include <Library/ArmGicLib.h>\r
\r
VOID\r
EFIAPI\r
ArmGicEnableDistributor (\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
  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