audk/ArmPkg/Drivers
Sami Mujawar 1bb76029ef ArmPkg: Fix writes to GICv3 GICD_IROUTER<n> reg
According to ARM Generic Interrupt Controller Architecture
Specification, GIC architecture version 3.0 and version 4.0,
GICD_IROUTER<n> is a 64-bit register.

Fixed code to use 64 bit MMIO write operations so that the
Aff3 value (bits [39:32]) is written to GICD_IROUTER<n>.

Contributed-under: TianoCore Contribution Agreement 1.1
Signed-off-by: Sami Mujawar <sami.mujawar@arm.com>
Reported-by: Carl van Schaik <carl@cog.systems>
Reviewed-by: Ard Biesheuvel <ard.biesheuvel@linaro.org>
2019-02-26 08:38:42 +01:00
..
ArmCrashDumpDxe ArmPkg: add ArmCrashDumpDxe driver 2017-09-06 17:48:03 +01:00
ArmGic ArmPkg: Fix writes to GICv3 GICD_IROUTER<n> reg 2019-02-26 08:38:42 +01:00
ArmPciCpuIo2Dxe
ArmScmiDxe ArmPkg/ArmScmiDxe: Add clock enable function 2018-12-21 18:30:46 +01:00
CpuDxe ArmPkg/ArmMmuLib ARM: handle unmapped section in GetMemoryRegion() 2018-12-03 15:54:39 +01:00
CpuPei ArmPkg/CpuPei: base GCD memory space size on CPU's PA range 2018-11-29 18:55:08 +01:00
GenericWatchdogDxe ArmPkg/GenericWatchdogDxe: implement RegisterHandler() method 2018-12-20 12:41:21 +01:00
MmCommunicationDxe ArmPkg/Drivers: Add EFI_MM_COMMUNICATION_PROTOCOL DXE driver. 2018-11-27 13:05:57 +01:00
TimerDxe ArmPkg: add reenable hook to ArmGenericTimerCounterLib 2018-04-26 08:31:12 +02:00