ArmPkg/Drivers/ArmGic/GicV3/ArmGicV3Lib.h

   1 /** @file
   2 *
   3 *  Copyright (c) 2014, 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 UINT32
  21 EFIAPI
  22 ArmGicV3GetControlSystemRegisterEnable (
  23   VOID
  24   );
  25
  26 VOID
  27 EFIAPI
  28 ArmGicV3SetControlSystemRegisterEnable (
  29   IN UINT32         ControlSystemRegisterEnable
  30   );
  31
  32 VOID
  33 EFIAPI
  34 ArmGicV3EnableInterruptInterface (
  35   VOID
  36   );
  37
  38 VOID
  39 EFIAPI
  40 ArmGicV3DisableInterruptInterface (
  41   VOID
  42   );
  43
  44 UINTN
  45 EFIAPI
  46 ArmGicV3AcknowledgeInterrupt (
  47   VOID
  48   );
  49
  50 VOID
  51 EFIAPI
  52 ArmGicV3EndOfInterrupt (
  53   IN UINTN                  Source
  54   );
  55
  56 VOID
  57 ArmGicV3SetBinaryPointer (
  58   IN UINTN                  BinaryPoint
  59   );
  60
  61 VOID
  62 ArmGicV3SetPriorityMask (
  63   IN UINTN                  Priority
  64   );
  65
  66 #endif