Re: [edk2] [PATCH] ArmPkg/ArmGicV3Dxe: use correct value for ARM_GICD_IROUTER

2019-01-14 Thread Ard Biesheuvel
On Mon, 14 Jan 2019 at 12:24, Leif Lindholm wrote: > > On Fri, Dec 21, 2018 at 04:08:48PM +0100, Ard Biesheuvel wrote: > > Use the correct value for ARM_GICD_IROUTER as per the GIC spec, > > and fix the code that relies on the value being skewed by 32 x 8 > > bytes. > > > > Contributed-under: Tian

Re: [edk2] [PATCH] ArmPkg/ArmGicV3Dxe: use correct value for ARM_GICD_IROUTER

2019-01-14 Thread Leif Lindholm
On Fri, Dec 21, 2018 at 04:08:48PM +0100, Ard Biesheuvel wrote: > Use the correct value for ARM_GICD_IROUTER as per the GIC spec, > and fix the code that relies on the value being skewed by 32 x 8 > bytes. > > Contributed-under: TianoCore Contribution Agreement 1.1 > Signed-off-by: Ard Biesheuvel

[edk2] [PATCH] ArmPkg/ArmGicV3Dxe: use correct value for ARM_GICD_IROUTER

2018-12-21 Thread Ard Biesheuvel
Use the correct value for ARM_GICD_IROUTER as per the GIC spec, and fix the code that relies on the value being skewed by 32 x 8 bytes. Contributed-under: TianoCore Contribution Agreement 1.1 Signed-off-by: Ard Biesheuvel --- ArmPkg/Include/Library/ArmGicLib.h| 2 +- ArmPkg/Drivers/ArmGi