#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 // ARM_GIC_DXE_H_\r