\r
Copyright (c) 2013-2017, 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
+SPDX-License-Identifier: BSD-2-Clause-Patent\r
\r
--*/\r
\r
-#ifndef __ARM_GIC_DXE_H__\r
-#define __ARM_GIC_DXE_H__\r
+#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/IoLib.h>\r
#include <Library/MemoryAllocationLib.h>\r
#include <Library/UefiBootServicesTableLib.h>\r
+#include <Library/UefiLib.h>\r
\r
#include <Protocol/Cpu.h>\r
#include <Protocol/HardwareInterrupt.h>\r
#include <Protocol/HardwareInterrupt2.h>\r
\r
-extern UINTN mGicNumInterrupts;\r
+extern UINTN mGicNumInterrupts;\r
extern HARDWARE_INTERRUPT_HANDLER *gRegisteredInterruptHandlers;\r
\r
// Common API\r
InstallAndRegisterInterruptService (\r
IN EFI_HARDWARE_INTERRUPT_PROTOCOL *InterruptProtocol,\r
IN EFI_HARDWARE_INTERRUPT2_PROTOCOL *Interrupt2Protocol,\r
- IN EFI_CPU_INTERRUPT_HANDLER InterruptHandler,\r
- IN EFI_EVENT_NOTIFY ExitBootServicesEvent\r
+ IN EFI_CPU_INTERRUPT_HANDLER InterruptHandler,\r
+ IN EFI_EVENT_NOTIFY ExitBootServicesEvent\r
);\r
\r
EFI_STATUS\r
EFIAPI\r
RegisterInterruptSource (\r
- IN EFI_HARDWARE_INTERRUPT_PROTOCOL *This,\r
- IN HARDWARE_INTERRUPT_SOURCE Source,\r
- IN HARDWARE_INTERRUPT_HANDLER Handler\r
+ IN EFI_HARDWARE_INTERRUPT_PROTOCOL *This,\r
+ IN HARDWARE_INTERRUPT_SOURCE Source,\r
+ IN HARDWARE_INTERRUPT_HANDLER Handler\r
);\r
\r
// GicV2 API\r
EFI_STATUS\r
GicV2DxeInitialize (\r
- IN EFI_HANDLE ImageHandle,\r
- IN EFI_SYSTEM_TABLE *SystemTable\r
+ IN EFI_HANDLE ImageHandle,\r
+ IN EFI_SYSTEM_TABLE *SystemTable\r
);\r
\r
// GicV3 API\r
EFI_STATUS\r
GicV3DxeInitialize (\r
- IN EFI_HANDLE ImageHandle,\r
- IN EFI_SYSTEM_TABLE *SystemTable\r
+ IN EFI_HANDLE ImageHandle,\r
+ IN EFI_SYSTEM_TABLE *SystemTable\r
);\r
\r
-\r
// Shared code\r
\r
/**\r
**/\r
EFI_STATUS\r
GicGetDistributorIcfgBaseAndBit (\r
- IN HARDWARE_INTERRUPT_SOURCE Source,\r
- OUT UINTN *RegAddress,\r
- OUT UINTN *Config1Bit\r
+ IN HARDWARE_INTERRUPT_SOURCE Source,\r
+ OUT UINTN *RegAddress,\r
+ OUT UINTN *Config1Bit\r
);\r
\r
-#endif\r
+#endif // ARM_GIC_DXE_H_\r