ArmPkg/ArmGic: Introduced support for GicV2 to ArmGicDxe

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

diff --git a/ArmPkg/Drivers/ArmGic/ArmGicDxe.h b/ArmPkg/Drivers/ArmGic/ArmGicDxe.h
index 4d22451cb56794e46aae87816e5e423127f25b8a..43bb88863de4055514bd6db10a779622ba1a00cb 100644 (file)
--- a/ArmPkg/Drivers/ArmGic/ArmGicDxe.h
+++ b/ArmPkg/Drivers/ArmGic/ArmGicDxe.h
@@ -15,8 +15,10 @@ WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
 #ifndef __ARM_GIC_DXE_H__\r
 #define __ARM_GIC_DXE_H__\r
 \r
+#include <Library/ArmGicLib.h>\r
 #include <Library/ArmLib.h>\r
 #include <Library/DebugLib.h>\r
+#include <Library/IoLib.h>\r
 #include <Library/MemoryAllocationLib.h>\r
 #include <Library/UefiBootServicesTableLib.h>\r
 \r
@@ -44,4 +46,13 @@ RegisterInterruptSource (
   IN HARDWARE_INTERRUPT_HANDLER         Handler\r
   );\r
 \r
+//\r
+// GicV2 API\r
+//\r
+EFI_STATUS\r
+GicV2DxeInitialize (\r
+  IN EFI_HANDLE         ImageHandle,\r
+  IN EFI_SYSTEM_TABLE   *SystemTable\r
+  );\r
+\r
 #endif\r