ArmPkg/Drivers/ArmGic/GicV3/ArmGicV3Lib.h

   1 /** @file
   2 *
   3 *  Copyright (c) 2014-2015, ARM Limited. All rights reserved.
   4 *
   5 *  This program and the accompanying materials are licensed and made available
   6 *  under the terms and conditions of the BSD License which accompanies this
   7 *  distribution. The full text of the license may be found at
   8 *  http://opensource.org/licenses/bsd-license.php
   9 *
  10 *  THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
  11 *  WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
  12 *
  13 **/
  14
  15 #ifndef _ARM_GIC_V3_H_
  16 #define _ARM_GIC_V3_H_
  17
  18 #define ICC_SRE_EL2_SRE         (1 << 0)
  19
  20 #define ARM_GICD_IROUTER_IRM BIT31
  21
  22 UINT32
  23 EFIAPI
  24 ArmGicV3GetControlSystemRegisterEnable (
  25   VOID
  26   );
  27
  28 VOID
  29 EFIAPI
  30 ArmGicV3SetControlSystemRegisterEnable (
  31   IN UINT32         ControlSystemRegisterEnable
  32   );
  33
  34 VOID
  35 EFIAPI
  36 ArmGicV3EnableInterruptInterface (
  37   VOID
  38   );
  39
  40 VOID
  41 EFIAPI
  42 ArmGicV3DisableInterruptInterface (
  43   VOID
  44   );
  45
  46 UINTN
  47 EFIAPI
  48 ArmGicV3AcknowledgeInterrupt (
  49   VOID
  50   );
  51
  52 VOID
  53 EFIAPI
  54 ArmGicV3EndOfInterrupt (
  55   IN UINTN                  Source
  56   );
  57
  58 VOID
  59 ArmGicV3SetBinaryPointer (
  60   IN UINTN                  BinaryPoint
  61   );
  62
  63 VOID
  64 ArmGicV3SetPriorityMask (
  65   IN UINTN                  Priority
  66   );
  67
  68 #endif