Re: [edk2] [PATCH v3 03/10] ArmPkg: allow dynamic GIC base addresses

2014-08-27 Thread Laszlo Ersek
On 08/27/14 17:12, Ard Biesheuvel wrote: > Allow the PCDs gArmTokenSpaceGuid.PcdGicDistributorBase and > gArmTokenSpaceGuid.PcdGicInterruptInterfaceBase to be redeclared > as PcdsDynamic by the platform, so virtual machines can set these > properties during boot. As the PcdGet32() calls now call in

[edk2] [PATCH v3 03/10] ArmPkg: allow dynamic GIC base addresses

2014-08-27 Thread Ard Biesheuvel
Allow the PCDs gArmTokenSpaceGuid.PcdGicDistributorBase and gArmTokenSpaceGuid.PcdGicInterruptInterfaceBase to be redeclared as PcdsDynamic by the platform, so virtual machines can set these properties during boot. As the PcdGet32() calls now call into the PCD database, cache the values that are re