Re: [edk2] [PATCH v3 1/1] ArmPkg: Add support for GICv4

2018-10-12 Thread Ard Biesheuvel
On 9 October 2018 at 17:35, Sami Mujawar wrote: > Updated Redistributor base calculation to allow for the fact that > GICv4 has 2 additional 64KB frames (for VLPI and a reserved frame). > The code now tests the VLPIS bit in the GIC Redistributor Type > Register (GICR_TYPER) and calculates the

[edk2] [PATCH v3 1/1] ArmPkg: Add support for GICv4

2018-10-09 Thread Sami Mujawar
Updated Redistributor base calculation to allow for the fact that GICv4 has 2 additional 64KB frames (for VLPI and a reserved frame). The code now tests the VLPIS bit in the GIC Redistributor Type Register (GICR_TYPER) and calculates the Redistributor granularity accordingly. The code changes