Re: [edk2] [RESEND PATCH] ARMPkg: Unify the GIC base address variables as 64-bit

2016-10-23 Thread Dennis Chen
Hello Ard, On Fri, Oct 21, 2016 at 09:34:32AM +0100, Ard Biesheuvel wrote: > Hi Dennis, > > On 21 October 2016 at 06:50, Dennis Chen wrote: > > Since ACPI spec defines the GIC base addresses (CPU interface, > > Distributor and Redistributor*GICv3 only*) as 64-bit, so we

Re: [edk2] [RESEND PATCH] ARMPkg: Unify the GIC base address variables as 64-bit

2016-10-21 Thread Ard Biesheuvel
Hi Dennis, On 21 October 2016 at 06:50, Dennis Chen wrote: > Since ACPI spec defines the GIC base addresses (CPU interface, > Distributor and Redistributor*GICv3 only*) as 64-bit, so we should > define these corresponding base address variables as 64-bit instead of > 32-bit.

[edk2] [RESEND PATCH] ARMPkg: Unify the GIC base address variables as 64-bit

2016-10-20 Thread Dennis Chen
Since ACPI spec defines the GIC base addresses (CPU interface, Distributor and Redistributor*GICv3 only*) as 64-bit, so we should define these corresponding base address variables as 64-bit instead of 32-bit. This patch redefines them according to the ACPI spec. Contributed-under: TianoCore