/* Check whether the CPU supports the GIC system register interface (any version) */
BOOLEAN EFIAPI ArmHasGicSystemRegisters(VOID)
/* Check whether the CPU supports the GIC system register interface (any version) */
BOOLEAN EFIAPI ArmHasGicSystemRegisters(VOID)
{
  return ((ArmReadIdPfr1 () & ARM_PFR1_GIC) != 0);
}