ArmPkg/Drivers/ArmGic/GicV2/ArmGicV2Lib.c

   1 /** @file
   2 *
   3 *  Copyright (c) 2013-2014, ARM Limited. All rights reserved.
   4 *
   5 *  SPDX-License-Identifier: BSD-2-Clause-Patent
   6 *
   7 **/
   8
   9 #include <Library/ArmGicLib.h>
  10 #include <Library/IoLib.h>
  11
  12 UINTN
  13 EFIAPI
  14 ArmGicV2AcknowledgeInterrupt (
  15   IN  UINTN          GicInterruptInterfaceBase
  16   )
  17 {
  18   // Read the Interrupt Acknowledge Register
  19   return MmioRead32 (GicInterruptInterfaceBase + ARM_GIC_ICCIAR);
  20 }
  21
  22 VOID
  23 EFIAPI
  24 ArmGicV2EndOfInterrupt (
  25   IN  UINTN                 GicInterruptInterfaceBase,
  26   IN UINTN                  Source
  27   )
  28 {
  29   MmioWrite32 (GicInterruptInterfaceBase + ARM_GIC_ICCEIOR, Source);
  30 }