]>
Commit | Line | Data |
---|---|---|
69b5dc9f OM |
1 | /*++\r |
2 | \r | |
3 | Copyright (c) 2013-2014, ARM Ltd. All rights reserved.<BR>\r | |
4 | \r | |
5 | This program and the accompanying materials\r | |
6 | are licensed and made available under the terms and conditions of the BSD License\r | |
7 | which accompanies this distribution. The full text of the license may be found at\r | |
8 | http://opensource.org/licenses/bsd-license.php\r | |
9 | \r | |
10 | THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,\r | |
11 | WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.\r | |
12 | \r | |
13 | --*/\r | |
14 | \r | |
15 | #ifndef __ARM_GIC_DXE_H__\r | |
16 | #define __ARM_GIC_DXE_H__\r | |
17 | \r | |
18 | #include <Library/ArmLib.h>\r | |
19 | #include <Library/DebugLib.h>\r | |
20 | #include <Library/MemoryAllocationLib.h>\r | |
21 | #include <Library/UefiBootServicesTableLib.h>\r | |
22 | \r | |
23 | #include <Protocol/Cpu.h>\r | |
24 | #include <Protocol/HardwareInterrupt.h>\r | |
25 | \r | |
26 | extern UINTN mGicNumInterrupts;\r | |
27 | extern HARDWARE_INTERRUPT_HANDLER *gRegisteredInterruptHandlers;\r | |
28 | \r | |
29 | //\r | |
30 | // Common API\r | |
31 | //\r | |
32 | EFI_STATUS\r | |
33 | InstallAndRegisterInterruptService (\r | |
34 | IN EFI_HARDWARE_INTERRUPT_PROTOCOL *InterruptProtocol,\r | |
35 | IN EFI_CPU_INTERRUPT_HANDLER InterruptHandler,\r | |
36 | IN EFI_EVENT_NOTIFY ExitBootServicesEvent\r | |
37 | );\r | |
38 | \r | |
39 | #endif\r |