"ArmGicDxe.inf" currently does not document how the protocols in the
[Protocols] section are used. Such comments help us analyze behavior, so
let's add them now.
- gHardwareInterruptProtocolGuid and gHardwareInterrupt2ProtocolGuid are
always produced on the InterruptDxeInitialize() -> (GicV2DxeInitialize()
| GicV3DxeInitialize()) -> InstallAndRegisterInterruptService() call
path.
- gEfiCpuArchProtocolGuid is consumed in the CpuArchEventProtocolNotify()
protocol notify callback. (Technically this is "conditional"; however
the firmware cannot work without architectural protocols, so we can call
it unconditional.)
While at it, drop the gArmGicDxeFileGuid comment from FILE_GUID; we're
going to make that GUID uninteresting soon.
Cc: Ard Biesheuvel <ard.biesheuvel@linaro.org>
Cc: Leif Lindholm <leif.lindholm@linaro.org>
Cc: Steve Capper <steve.capper@linaro.org>
Cc: Supreeth Venkatesh <Supreeth.Venkatesh@arm.com>
Contributed-under: TianoCore Contribution Agreement 1.1
Signed-off-by: Laszlo Ersek <lersek@redhat.com>
Reviewed-by: Ard Biesheuvel <ard.biesheuvel@linaro.org>
Tested-by: Steve Capper <steve.capper@linaro.org>
Reviewed-by: Leif Lindholm <leif.lindholm@linaro.org>
[Defines]\r
INF_VERSION = 0x00010005\r
BASE_NAME = ArmGicDxe\r
- FILE_GUID = DE371F7C-DEC4-4D21-ADF1-593ABCC15882 # gArmGicDxeFileGuid\r
+ FILE_GUID = DE371F7C-DEC4-4D21-ADF1-593ABCC15882\r
MODULE_TYPE = DXE_DRIVER\r
VERSION_STRING = 1.0\r
\r
UefiLib\r
\r
[Protocols]\r
- gHardwareInterruptProtocolGuid\r
- gHardwareInterrupt2ProtocolGuid\r
- gEfiCpuArchProtocolGuid\r
+ gHardwareInterruptProtocolGuid ## PRODUCES\r
+ gHardwareInterrupt2ProtocolGuid ## PRODUCES\r
+ gEfiCpuArchProtocolGuid ## CONSUMES ## NOTIFY\r
\r
[Pcd.common]\r
gArmTokenSpaceGuid.PcdGicDistributorBase\r