ArmPkg/Drivers/ArmGic/GicV2/ArmGicV2NonSecLib.c

   1 /** @file
   2 *
   3 *  Copyright (c) 2011-2014, 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 ArmGicV2EnableInterruptInterface (
  16   IN  INTN  GicInterruptInterfaceBase
  17   )
  18 {
  19   /*
  20   * Enable the CPU interface in Non-Secure world
  21   * Note: The ICCICR register is banked when Security extensions are implemented
  22   */
  23   MmioWrite32 (GicInterruptInterfaceBase + ARM_GIC_ICCICR, 0x1);
  24 }
  25
  26 VOID
  27 EFIAPI
  28 ArmGicV2DisableInterruptInterface (
  29   IN  INTN  GicInterruptInterfaceBase
  30   )
  31 {
  32   // Disable Gic Interface
  33   MmioWrite32 (GicInterruptInterfaceBase + ARM_GIC_ICCICR, 0x0);
  34   MmioWrite32 (GicInterruptInterfaceBase + ARM_GIC_ICCPMR, 0x0);
  35 }