/* Checks whether the CPU implements the Trace Buffer Extension. */
BOOLEAN EFIAPI ArmHasTrbe(VOID)
/* Checks whether the CPU implements the Trace Buffer Extension. */
BOOLEAN EFIAPI ArmHasTrbe(VOID)
{
  return ((ArmReadIdAA64Dfr0 () & AARCH64_DFR0_TRBE) != 0);
}