3 Copyright (c) 2013-2014, ARM Ltd. All rights reserved.<BR>
5 SPDX-License-Identifier: BSD-2-Clause-Patent
13 Driver implementing the GIC interrupt controller protocol
19 #include "ArmGicDxe.h"
22 Initialize the state information for the CPU Architectural Protocol
24 @param ImageHandle of the loaded driver
25 @param SystemTable Pointer to the System Table
27 @retval EFI_SUCCESS Protocol registered
28 @retval EFI_OUT_OF_RESOURCES Cannot allocate protocol data structure
29 @retval EFI_DEVICE_ERROR Hardware problems
30 @retval EFI_UNSUPPORTED GIC version not supported
34 InterruptDxeInitialize (
35 IN EFI_HANDLE ImageHandle
,
36 IN EFI_SYSTEM_TABLE
*SystemTable
40 ARM_GIC_ARCH_REVISION Revision
;
42 Revision
= ArmGicGetSupportedArchRevision ();
44 if (Revision
== ARM_GIC_ARCH_REVISION_2
) {
45 Status
= GicV2DxeInitialize (ImageHandle
, SystemTable
);
46 } else if (Revision
== ARM_GIC_ARCH_REVISION_3
) {
47 Status
= GicV3DxeInitialize (ImageHandle
, SystemTable
);
49 Status
= EFI_UNSUPPORTED
;