ArmPkg/Drivers/ArmGic/ArmGicNonSecLib.c

   1 /** @file
   2 *
   3 *  Copyright (c) 2011-2015, ARM Limited. All rights reserved.
   4 *
   5 *  SPDX-License-Identifier: BSD-2-Clause-Patent
   6 *
   7 **/
   8
   9 #include <Uefi.h>
  10 #include <Library/IoLib.h>
  11 #include <Library/ArmGicLib.h>
  12
  13 VOID
  14 EFIAPI
  15 ArmGicEnableDistributor (
  16   IN  INTN  GicDistributorBase
  17   )
  18 {
  19   ARM_GIC_ARCH_REVISION  Revision;
  20
  21   /*
  22    * Enable GIC distributor in Non-Secure world.
  23    * Note: The ICDDCR register is banked when Security extensions are implemented
  24    */
  25   Revision = ArmGicGetSupportedArchRevision ();
  26   if (Revision == ARM_GIC_ARCH_REVISION_2) {
  27     MmioWrite32 (GicDistributorBase + ARM_GIC_ICDDCR, 0x1);
  28   } else {
  29     if (MmioRead32 (GicDistributorBase + ARM_GIC_ICDDCR) & ARM_GIC_ICDDCR_ARE) {
  30       MmioOr32 (GicDistributorBase + ARM_GIC_ICDDCR, 0x2);
  31     } else {
  32       MmioOr32 (GicDistributorBase + ARM_GIC_ICDDCR, 0x1);
  33     }
  34   }
  35 }