Re: [edk2] [PATCH] ArmPkg: Fix the GIC base address variables as 64-bit

2016-10-18 Thread Dennis Chen
Hello Ard, On Tue, Oct 18, 2016 at 09:40:42AM +0100, Ard Biesheuvel wrote: > On 18 October 2016 at 03:50, Dennis Chen wrote: > > Hello Ard, > > > > On Mon, Oct 17, 2016 at 06:09:00PM +0100, Ard Biesheuvel wrote: > >> On 17 October 2016 at 09:54, Dennis Chen

Re: [edk2] [PATCH] ArmPkg: Fix the GIC base address variables as 64-bit

2016-10-18 Thread Ard Biesheuvel
On 18 October 2016 at 03:50, Dennis Chen wrote: > Hello Ard, > > On Mon, Oct 17, 2016 at 06:09:00PM +0100, Ard Biesheuvel wrote: >> On 17 October 2016 at 09:54, Dennis Chen wrote: >> > Since ACPI spec defines the GIC base addresses (CPU interface, >> >

Re: [edk2] [PATCH] ArmPkg: Fix the GIC base address variables as 64-bit

2016-10-17 Thread Dennis Chen
Hello Ard, On Mon, Oct 17, 2016 at 06:09:00PM +0100, Ard Biesheuvel wrote: > On 17 October 2016 at 09:54, 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

Re: [edk2] [PATCH] ArmPkg: Fix the GIC base address variables as 64-bit

2016-10-17 Thread Ard Biesheuvel
On 17 October 2016 at 09:54, 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. This patch

[edk2] [PATCH] ArmPkg: Fix the GIC base address variables as 64-bit

2016-10-17 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