/* 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 ((ArmReadIdAA64Pfr0 () & AARCH64_PFR0_GIC) != 0);
}