ArmPkg/Drivers/ArmGic/ArmGicDxe.h

   1 /*++
   2
   3 Copyright (c) 2013-2014, ARM Ltd. All rights reserved.<BR>
   4
   5 This program and the accompanying materials
   6 are licensed and made available under the terms and conditions of the BSD License
   7 which accompanies this 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_DXE_H__
  16 #define __ARM_GIC_DXE_H__
  17
  18 #include <Library/ArmLib.h>
  19 #include <Library/DebugLib.h>
  20 #include <Library/MemoryAllocationLib.h>
  21 #include <Library/UefiBootServicesTableLib.h>
  22
  23 #include <Protocol/Cpu.h>
  24 #include <Protocol/HardwareInterrupt.h>
  25
  26 extern UINTN                        mGicNumInterrupts;
  27 extern HARDWARE_INTERRUPT_HANDLER  *gRegisteredInterruptHandlers;
  28
  29 //
  30 // Common API
  31 //
  32 EFI_STATUS
  33 InstallAndRegisterInterruptService (
  34   IN EFI_HARDWARE_INTERRUPT_PROTOCOL   *InterruptProtocol,
  35   IN EFI_CPU_INTERRUPT_HANDLER          InterruptHandler,
  36   IN EFI_EVENT_NOTIFY                   ExitBootServicesEvent
  37   );
  38
  39 #endif