/* Checks whether the CPU implements the Virtualization Host Extensions. */
BOOLEAN EFIAPI ArmHasVhe(VOID)
/* Checks whether the CPU implements the Virtualization Host Extensions. */
BOOLEAN EFIAPI ArmHasVhe(VOID)
{
  return ((ArmReadIdAA64Mmfr1 () & AARCH64_MMFR1_VH) != 0);
}