ArmPkg/ArmGic: Move the installation and the registration to InstallAndRegisterInterr...

[mirror_edk2.git] / ArmPkg / Drivers / ArmGic / ArmGicDxe.h

diff --git a/ArmPkg/Drivers/ArmGic/ArmGicDxe.h b/ArmPkg/Drivers/ArmGic/ArmGicDxe.h
new file mode 100644 (file)
index 0000000..4fc65b1
--- /dev/null
+++ b/ArmPkg/Drivers/ArmGic/ArmGicDxe.h
@@ -0,0 +1,39 @@
+/*++\r
+\r
+Copyright (c) 2013-2014, ARM Ltd. All rights reserved.<BR>\r
+\r
+This program and the accompanying materials\r
+are licensed and made available under the terms and conditions of the BSD License\r
+which accompanies this distribution.  The full text of the license may be found at\r
+http://opensource.org/licenses/bsd-license.php\r
+\r
+THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,\r
+WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.\r
+\r
+--*/\r
+\r
+#ifndef __ARM_GIC_DXE_H__\r
+#define __ARM_GIC_DXE_H__\r
+\r
+#include <Library/ArmLib.h>\r
+#include <Library/DebugLib.h>\r
+#include <Library/MemoryAllocationLib.h>\r
+#include <Library/UefiBootServicesTableLib.h>\r
+\r
+#include <Protocol/Cpu.h>\r
+#include <Protocol/HardwareInterrupt.h>\r
+\r
+extern UINTN                        mGicNumInterrupts;\r
+extern HARDWARE_INTERRUPT_HANDLER  *gRegisteredInterruptHandlers;\r
+\r
+//\r
+// Common API\r
+//\r
+EFI_STATUS\r
+InstallAndRegisterInterruptService (\r
+  IN EFI_HARDWARE_INTERRUPT_PROTOCOL   *InterruptProtocol,\r
+  IN EFI_CPU_INTERRUPT_HANDLER          InterruptHandler,\r
+  IN EFI_EVENT_NOTIFY                   ExitBootServicesEvent\r
+  );\r
+\r
+#endif\r